DocumentCode
2271370
Title
Towards verification of multi-agent systems
Author
Gruer, Pablo ; Hilaire, Vincent ; Koukam, Abder
Author_Institution
Univ. de Technol. de Belfort, France
fYear
2000
fDate
2000
Firstpage
393
Lastpage
394
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;
fLanguage
English
Publisher
ieee
Conference_Titel
MultiAgent Systems, 2000. Proceedings. Fourth International Conference on
Conference_Location
Boston, MA
Print_ISBN
0-7695-0625-9
Type
conf
DOI
10.1109/ICMAS.2000.858491
Filename
858491
Link To Document