Verification by Abstract Interpretation

This publication has 13 references indexed in Scilit:

• A static analyzer for large safety-critical software
  2003
• Modular Static Program Analysis
  2002
• Relative Completeness of Abstraction Refinement for Software Model Checking
  Lecture Notes in Computer Science, 2002
• Automatic predicate abstraction of C programs
  ACM SIGPLAN Notices, 2001
• Automatic generation of invariants and intermediate assertions
  Theoretical Computer Science, 1997
• Construction of abstract state graphs with PVS
  1997
• Abstract Interpretation Frameworks
  Journal of Logic and Computation, 1992
• Abstract interpretation and application to logic programs
  The Journal of Logic Programming, 1992
• Systematic design of program analysis frameworks
  1979
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  1977