Title :
Formal Specification and Verification of Concurrent Agents in Event-B
Author :
Negreanu, Lorina ; Mocanu, Irina ; Florea, Adina M.
Author_Institution :
Comput. Sci. Dept., Univ. Politeh. of Bucharest, Bucharest, Romania
Abstract :
This paper presents a formal modeling and proof of a multi-agent system for requesting services, in which agents performs operations concurrently. The concurrent operations made by agents are specified and validated using a formal specification method Event-B.
Keywords :
concurrency control; formal specification; formal verification; multi-agent systems; theorem proving; concurrent agent; event-B method; formal modeling; formal proof; formal specification; formal verification; multi-agent system; Abstracts; Bellows; Communities; Context; Electronic mail; Load modeling; Multi-agent systems; Event-B; agents; concurrent operations; formal verification; proof; refinement;
Conference_Titel :
Control Systems and Computer Science (CSCS), 2013 19th International Conference on
Conference_Location :
Bucharest
Print_ISBN :
978-1-4673-6140-8
DOI :
10.1109/CSCS.2013.61
