Concrete Model Checking with Abstract Matching and Refinement

This publication has 21 references indexed in Scilit:

• Software Model Checking: The VeriSoft Approach
  Formal Methods in System Design, 2005
• Proof-guided underapproximation-widening for multi-process systems
  Published by Association for Computing Machinery (ACM) ,2005
• Three-valued abstractions of games: uncertainty, but with precision
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• The existence of finite abstractions for branching time model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• Predicate Abstraction with Minimum Predicates
  Published by Springer Nature ,2003
• Quickly detecting relevant program invariants
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Abstraction-Based Model Checking Using Modal Transition Systems
  Published by Springer Nature ,2001
• Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking
  Published by Springer Nature ,2001
• Boolean and Cartesian Abstraction for Model Checking C Programs
  Published by Springer Nature ,2001
• Abstract Interpretation Frameworks
  Journal of Logic and Computation, 1992