Verification by abstract interpretation

DOI10.1007/B12001MaRDI QIDQ5305644zbMATH OpenOpenAlexFDO

Authors Patrick Cousot

Publication date 23 March 2010

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

Full work available at URL https://doi.org/10.1007/b12001

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1953018
• Abstract interpretation
• scientific article; zbMATH DE number 2087617
• Formal Methods at the Crossroads. From Panacea to Foundational Support
• scientific article; zbMATH DE number 1696591

Cited in

(19)

• Computable fixpoints in well-structured symbolic model checking
• Correctness kernels of abstract interpretations
• Abstract interpretation as automated deduction
• scientific article; zbMATH DE number 1696591 (Why is no real title available?)
• scientific article; zbMATH DE number 1701753 (Why is no real title available?)
• A scalable segmented decision tree abstract domain
• Verification of meta-interpreters
• scientific article; zbMATH DE number 1948388 (Why is no real title available?)
• scientific article; zbMATH DE number 1953018 (Why is no real title available?)
• scientific article; zbMATH DE number 1953022 (Why is no real title available?)
• Program verification: state of the art, problems, and results. I
• Reuse in Software Verification by Abstract Method Calls
• scientific article; zbMATH DE number 7364137 (Why is no real title available?)
• Integrated and automated abstract interpretation, verification and testing of C/C++ modules
• Structural Abstraction of Software Verification Conditions
• Formal Methods at the Crossroads. From Panacea to Foundational Support
• Verifying numerical programs via iterative abstract testing
• The octagon abstract domain
• Pentagons: a weakly relational abstract domain for the efficient validation of array accesses

This page was built for publication: Verification by abstract interpretation

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