Compositional verification for Object-Z

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2651, Issue , 2003, Pages 280-299

  Winter, Kirsten ^a   Smith, Graeme ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

COMPOSITIONAL VERIFICATION; HIERARCHICAL OBJECTS; KEY FEATURE; LINEAR TEMPORAL LOGIC; LOCAL PROPERTY; OBJECT-Z SPECIFICATION; PROOF RULES; SUB-COMPONENTS;

TEMPORAL LOGIC;

EID: 35248878531     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44880-2_18     Document Type: Article

References (13)

1. E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Coomputer Science, volume B. Elsevier Science Publishers, 1990.
2. O. Grumberg and D.E. Long. Model checking and modular verification. ACM Transactions on Programming Languages and Systems, 16(3):843-871, 1994.
3. A. Griffiths. Modular reasoning in Object-Z. In W. Wong and K. Leung, editors, Proc. of the Joint 1997 Asia Pacific Software Engineering Conference and International Computer Science Conference, IEEE, pages 140-149. Computer Society Press, 1997.
4. A. Pnueli. In transition from global to modular temporal reasoning about programs. In K. R. Apt, editor, Logics and Models of Concurrent Systems, volume 13 of NATO ASI Series, pages 123-144. Springer-Verlag, 1985.
5. G. Smith, F. Kammüller, and T. Santen. Encoding Object-Z in Isabelle/HOL. In D. Bert, J.P. Bowen, M.C. Henson, and K. Robinson, editors, Proc. of Int. Conf. of Z and B Users (ZB 2002), volume 2272 of LNCS, pages 82-99. Springer-Verlag, 2002.
6. G. Smith. An Object-Oriented Approach to Formal Specification. PhD thesis, Department of Computer Science, University of Queensland, 1992.
7. G. Smith. A fully abstract semantics of classes for Object-Z. Formal Aspects of Computing, 7(3):289-313, 1995.
8. G. Smith. Reasoning about Object-Z specifications. In Proc. of the Asia-Pacific Software Engineering Conference (APSEC95), IEEE, pages 489-497. Computer Society Press, 1995.
9. G. Smith. The Object-Z Specification Language. Kluwer Academic Publishers, 2000.
10. G. Smith. Introducing reference semantics via refinement. In C. George and H. Miao, editors, Proc. on Int. Conference on Formal Engineering Methods (ICFEM 2002), volume 2495 of LNCS, pages 588-599. Springer-Verlag, 2002.
11. J.M. Spivey. The Z Notation - A Reference Manual. Prentice Hall, 1992.
12. G. Smith and K. Winter. Proving temporal properties of Z specificatons using abstraction. In 3rd International Conference of Z and B USers (ZB 2003), LNCS. Springer-Verlag, 2003. This volume.
13. J.C.P. Woodcock and S.M. Brien. W: A logic for Z. In Z User Workshop (ZUM'92), Workshops in Computing, pages 77-98. Springer-Verlag, 1992.