Title :
Towards verification of multi-agent systems
Author :
Gruer, Pablo ; Hilaire, Vincent ; Koukam, Abder
Author_Institution :
Univ. de Technol. de Belfort, France
Abstract :
The paper presents a verification approach for multi agent systems. The specification is based upon Object-Z and uses the influence/reaction model. The verification process consists of the transformation of Object-Z specifications into transition systems. This allows us to verify automatically some properties of the specification such as history invariants expressed by temporal logic formulas
Keywords :
formal specification; multi-agent systems; object-oriented languages; program verification; specification languages; temporal logic; Object-Z; history invariants; influence/reaction model; multi-agent systems verification; temporal logic formulas; transition systems; verification approach; verification process; Automatic logic units; Bridges; Calculus; Computational modeling; Concrete; Design methodology; Formal specifications; History; Multiagent systems;
Conference_Titel :
MultiAgent Systems, 2000. Proceedings. Fourth International Conference on
Conference_Location :
Boston, MA
Print_ISBN :
0-7695-0625-9
DOI :
10.1109/ICMAS.2000.858491
