Towards verification of multi-agent systems
Pablo Gruer, Vincent Hilaire, Abderrafìâa Koukam · 2002
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.