Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking

This publication has 18 references indexed in Scilit:

• Partial Completeness of Abstract Fixpoint Checking
  Published by Springer Nature ,2000
• Counterexample-Guided Abstraction Refinement
  Published by Springer Nature ,2000
• Refining Model Checking by Abstract Interpretation
  Automated Software Engineering, 1999
• Abstract interpretation of reactive systems
  ACM Transactions on Programming Languages and Systems, 1997
• Types as abstract interpretations
  Published by Association for Computing Machinery (ACM) ,1997
• Refining and compressing abstract domains
  Published by Springer Nature ,1997
• A unifying view of abstract domain design
  ACM Computing Surveys, 1996
• Model checking and abstraction
  ACM Transactions on Programming Languages and Systems, 1994
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• 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