Model Checking Guided Abstraction and Analysis

This publication has 14 references indexed in Scilit:

• Dynamic Partitioning in Analyses of Numerical Properties
  Published by Springer Nature ,1999
• Experience with Predicate Abstraction
  Published by Springer Nature ,1999
• Automatic generation of invariants and intermediate assertions
  Theoretical Computer Science, 1997
• Simple proof techniques for property preservation via simulation
  Information Processing Letters, 1996
• Powerful techniques for the automatic generation of invariants
  Published by Springer Nature ,1996
• Experiments in theorem proving and model checking for protocol verification
  Published by Springer Nature ,1996
• Computer-Aided Verification of Coordinating Processes
  Published by Walter de Gruyter GmbH ,1995
• Model checking and abstraction
  ACM Transactions on Programming Languages and Systems, 1994
• Proof-checking a data link protocol
  Published by Springer Nature ,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