relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1778/
title: Coordinated Consensus Analysis of Multi-agent Systems Using Event-B
creator: Truong, Ninh Thuan
creator: Trinh, Thanh Binh
creator: Nguyen, Viet Ha
subject: Information Technology (IT)
description: Formal specifications and reasoning techniques in software modelling are needed to ensure the correctness of the system at the design phase. Event-B is a formal method with support tools that allows the stepwise development of reactive systems. Such systems include multi-agent systems as a subclass. In this paper, we propose an approach to specify capabilities of a number of software agents. We then verify whether these capabilities help the agents to accomplish a certain task using a supported tool for Event-B. We use the binary numeral system as a case study to illustrate our approach.
date: 2009
type: Conference or Workshop Item
type: PeerReviewed
identifier:   Truong, Ninh Thuan and Trinh, Thanh Binh and Nguyen, Viet Ha  (2009) Coordinated Consensus Analysis of Multi-agent Systems Using Event-B.  In: Seventh IEEE International Conference on Software Engineering and Formal Methods, 23-27 November 2009, Hanoi, Vietnam.     
relation: http://dx.doi.org/10.1109/SEFM.2009.24
relation: doi:10.1109/SEFM.2009.24