Preserving Properties under Change

This publication has 10 references indexed in Scilit:

• Proving Temporal Properties of Z Specifications Using Abstraction
  Published by Springer Nature ,2003
• Compositional Verification for Object-Z
  Published by Springer Nature ,2003
• Inheritance of Temporal Logic Properties
  Published by Springer Nature ,2003
• Issues in slicing PROMELA and its applications to model checking, protocol understanding, and simulation
  International Journal on Software Tools for Technology Transfer, 2000
• The Object-Z Specification Language
  Published by Springer Nature ,2000
• CSP-OZ: A Combination of Object-Z and CSP
  Published by Springer Nature ,1997
• Object-Z: A specification language advocated for the description of standards
  Computer Standards & Interfaces, 1995
• Specification and verification of object-oriented programs using supertype abstraction
  Acta Informatica, 1995
• A behavioral notion of subtyping
  ACM Transactions on Programming Languages and Systems, 1994
• The Temporal Logic of Reactive and Concurrent Systems
  Published by Springer Nature ,1992