Partial Completeness of Abstract Fixpoint Checking

This publication has 25 references indexed in Scilit:

• Comparing the Galois connection and widening/narrowing approaches to abstract interpretation
  Published by Springer Nature ,2005
• Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis
  Published by Springer Nature ,1999
• Refining Model Checking by Abstract Interpretation
  Automated Software Engineering, 1999
• Computing abstractions of infinite state systems compositionally and automatically
  Published by Springer Nature ,1998
• Generating finite-state abstractions of reactive systems using decision procedures
  Published by Springer Nature ,1998
• Model checking and abstraction
  ACM Transactions on Programming Languages and Systems, 1994
• Abstract interpretation and application to logic programs
  The Journal of Logic Programming, 1992
• Constructive versions of Tarski’s fixed point theorems
  Pacific Journal of Mathematics, 1979
• Systematic design of program analysis frameworks
  Published by Association for Computing Machinery (ACM) ,1979
• 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