Abstract and Model Check while You Prove

This publication has 5 references indexed in Scilit:

• Case studies in meta-level theorem proving
  Published by Springer Nature ,1998
• Experiments in theorem proving and model checking for protocol verification
  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 interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977