Compositional Verification for Object-Z
- 27 May 2003
- book chapter
- Published by Springer Nature
- p. 280-299
- https://doi.org/10.1007/3-540-44880-2_18
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Modular reasoning in Object-ZPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Reasoning about Object-Z specificationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Introducing Reference Semantics via RefinementPublished by Springer Nature ,2002
- Encoding Object-Z in Isabelle/HOLPublished by Springer Nature ,2002
- The Object-Z Specification LanguagePublished by Springer Nature ,2000
- A fully abstract semantics of classes for Object-ZFormal Aspects of Computing, 1995
- Model checking and modular verificationACM Transactions on Programming Languages and Systems, 1994
- W: A Logic for ZPublished by Springer Nature ,1992
- Temporal and Modal LogicPublished by Elsevier ,1990
- In Transition From Global to Modular Temporal Reasoning about ProgramsPublished by Springer Nature ,1985