Some Experience on the Software Engineering of Abstract Interpretation Tools

This publication has 10 references indexed in Scilit:

• Why does Astrée scale up?
  Formal Methods in System Design, 2009
• Relational Interprocedural Verification of Concurrent Programs
  2009
• The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems
  Science of Computer Programming, 2008
• Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations
  Journal of Automated Reasoning, 2008
• Guided Static Analysis
  Lecture Notes in Computer Science, 2007
• The octagon abstract domain
  Higher-Order and Symbolic Computation, 2006
• Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes
  Lecture Notes in Computer Science, 2002
• Composite model-checking
  ACM Transactions on Software Engineering and Methodology, 2000
• PAG - an efficient program analyzer generator
  International Journal on Software Tools for Technology Transfer, 1998
• Verification of Real-Time Systems using Linear Relation Analysis
  Formal Methods in System Design, 1997