Property checking driven abstract interpretation-based static analysis

DOI10.1007/3-540-36384-X_8MaRDI QIDQ4414380zbMATH OpenFDO

Authors Damien Massé

Publication date 25 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2575/25750056.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Certified Static Analysis by Abstract Interpretation
• Property directed abstract interpretation
• Property dependent abstraction of control structure for software verification
• Static analysis by abstract interpretation: a mathematical programming approach
• Static analysis, abstract interpretation and verification in (constraint logic) programming
• Verification by abstract interpretation
• Model checking guided abstraction and analysis
• An approach to analyzing the properties of programs
• Automatic verification based on abstract interpretation

Cited in

(6)

• Reversing abstract interpretations
• Static contract checking with abstract interpretation
• Combining forward and backward analyses of temporal properties
• Combining forward and backward abstract interpretation of Horn clauses
• Relational Reversal of Abstract Interpretation
• Algebraic Methodology and Software Technology

This page was built for publication: Property checking driven abstract interpretation-based static analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4414380)