Automatic verification based on abstract interpretation

DOI10.1007/10705424_9MaRDI QIDQ2766776zbMATH OpenFDO

Authors Mizuhito Ogawa

Publication date 22 July 2002

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

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

Mathematics Subject Classification ID

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

Recommendations

• Automatic verification by abstract interpretation
• Verification by abstract interpretation
• Abstract interpretation based verification of logic programs
• Formal Methods at the Crossroads. From Panacea to Foundational Support
• scientific article; zbMATH DE number 1497823

Cited in

(15)

• Verified abstract interpretation techniques for disassembling low-level self-modifying code
• Bridging the Gap: Automatic Verified Abstraction of C
• How to transform an analyzer into a verifier
• scientific article; zbMATH DE number 1822431 (Why is no real title available?)
• Abstract Interpretation as Automated Deduction
• Refinement-Based Verification for Possibly-Cyclic Lists
• Automatic verification by abstract interpretation
• Property checking driven abstract interpretation-based static analysis
• scientific article; zbMATH DE number 1377354 (Why is no real title available?)
• Verification by abstract interpretation
• Automated verification of relational while-programs
• Static Analysis
• Formal Methods at the Crossroads. From Panacea to Foundational Support
• Verification by augmented abstraction: The automata-theoretic view
• Abstract interpretation of recursive logic definitions for efficient runtime assertion checking

This page was built for publication: Automatic verification based on abstract interpretation

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