<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Coordinated Consensus Analysis of Multi-agent Systems Using Event-B"^^ . "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."^^ . "2009" . . . . . . . . . . . . . . "Ninh Thuan"^^ . "Truong"^^ . "Ninh Thuan Truong"^^ . . "Viet Ha"^^ . "Nguyen"^^ . "Viet Ha Nguyen"^^ . . "Thanh Binh"^^ . "Trinh"^^ . "Thanh Binh Trinh"^^ . . . . "Seventh IEEE International Conference on Software Engineering and Formal Methods"^^ . . . . . "Hanoi, Vietnam"^^ . . . . . "HTML Summary of #1778 \n\nCoordinated Consensus Analysis of Multi-agent Systems Using Event-B\n\n" . "text/html" . . . "Information Technology (IT)"@en . .