loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth International Conference on Multi-Agent Systems (ICMAS'00)
Towards Verification of Multi-Agent Systems
Boston, Massachusetts
July 10-July 12
ISBN: 0-7695-0625-9
ASCII Text
x 
 
Pablo Gruer, Vincent Hilaire, Abder Koukam, "Towards Verification of Multi-Agent Systems," Multi-Agent Systems, International Conference on, pp. 0393, Fourth International Conference on Multi-Agent Systems (ICMAS'00), 2000.
 
 
BibTex
x
 
@article{ 10.1109/ICMAS.2000.858491,
author = {Pablo Gruer and Vincent Hilaire and Abder Koukam},
title = {Towards Verification of Multi-Agent Systems},
journal ={Multi-Agent Systems, International Conference on},
volume = {0},
year = {2000},
isbn = {0-7695-0625-9},
pages = {0393},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICMAS.2000.858491},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Multi-Agent Systems, International Conference on
TI - Towards Verification of Multi-Agent Systems
SN - 0-7695-0625-9
SP
EP
A1 - Pablo Gruer,
A1 - Vincent Hilaire,
A1 - Abder Koukam,
PY - 2000
VL - 0
JA - Multi-Agent Systems, International Conference on
ER -
 
Pablo Gruer, Universit? de Technologie de Belfort-Montb?liard
Vincent Hilaire, Universit? de Technologie de Belfort-Montb?liard
Abder Koukam, Universit? de Technologie de Belfort-Montb?liard
This paper presents a verification approach for multiagent systems. The specification is based upon Object-Z and uses the influence/reaction model. The verification process consists in 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.
Citation:
Pablo Gruer, Vincent Hilaire, Abder Koukam, "Towards Verification of Multi-Agent Systems," icmas, pp.0393, Fourth International Conference on Multi-Agent Systems (ICMAS'00), 2000
Usage of this product signifies your acceptance of the Terms of Use.