Proving Temporal Properties of Z Specifications Using Abstraction

This publication has 15 references indexed in Scilit:

• Mechanical Abstraction of CSPZ Processes
  Published by Springer Nature ,2002
• Counterexample-Guided Abstraction Refinement
  Published by Springer Nature ,2000
• Construction of abstract state graphs with PVS
  Published by Springer Nature ,1997
• The Z/EVES system
  Published by Springer Nature ,1997
• A structure preserving encoding of Z in isabelle/HOL
  Published by Springer Nature ,1996
• Property preserving abstractions for the verification of concurrent systems
  Formal Methods in System Design, 1995
• Model checking and abstraction
  ACM Transactions on Programming Languages and Systems, 1994
• Abstract model checking of infinite specifications
  Published by Springer Nature ,1994
• Temporal and Modal Logic
  Published by Elsevier ,1990
• Systematic design of program analysis frameworks
  Published by Association for Computing Machinery (ACM) ,1979