A Posteriori Soundness for Non-deterministic Abstract Interpretations

DOI10.1007/978-3-540-93900-9_22MaRDI QIDQ3600480zbMATH OpenOpenAlexFDO

Authors Matthew Might, Panagiotis Manolios

Publication date 10 February 2009

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

Full work available at URL https://doi.org/10.1007/978-3-540-93900-9_22

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Static Analysis
• scientific article; zbMATH DE number 3846839
• scientific article; zbMATH DE number 1617330
• Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors
• A certified denotational abstract interpreter

Cited in

(2)

• Soundness of abductive proof procedure with respect to constraint for non-ground abducibles
• Abstract allocation as a unified approach to polyvariance in control-flow analyses

This page was built for publication: A Posteriori Soundness for Non-deterministic Abstract Interpretations

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