@inproceedings{SisLab1778,
       booktitle = {2009 Seventh IEEE International Conference on Software Engineering and Formal Methods},
           title = {Coordinated Consensus Analysis of Multi-agent Systems Using Event-B},
          author = {Ninh Thuan Truong and Thanh Binh Trinh and Viet Ha Nguyen},
            year = {2009},
           pages = {201--209},
             doi = {doi:10.1109/SEFM.2009.24},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1778/},
        abstract = {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.}
}