The Z notation: a reference manual
The Z notation: a reference manual
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
IATA '98 Proceedings of the second international workshop on Intelligent agents for telecommunication applications
STeP: The Stanford Temporal Prover
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Formal Specification and Prototyping of Multi-agent Systems
ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers
Hi-index | 0.00 |
This paper presents a technique for verifying specifications which uses the object-oriented state-based language Object-Z. The technique is based upon translation of Object-Z specifications into transition systems. The translation of Object-Z into a transition system allows one to use established techniques and tools in order to verify the specifications.We present the basis of our translation approach and then illustrate it by a case study. The case study consists in proving properties of our antennae parameter setting problem specification.