On abstraction in software verification

DOI10.1007/3-540-45657-0_3MaRDI QIDQ4804884zbMATH OpenFDO

Authors Patrick Cousot, Radhia Cousot

Publication date 1 May 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/2404/24040037.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

• Model checking: from hardware to software.
• Formal Methods at the Crossroads. From Panacea to Foundational Support
• Lazy abstraction
• scientific article; zbMATH DE number 1953015
• Software model checking

Cited in

(30)

• Fuzzy set abstraction
• Reusing predicate precision in value analysis
• Abstraction-based partial deduction for solving inverse problems -- a transformational approach to software verification. (Extended abstract)
• Incremental verification by abstraction
• Abstraction strategies in practice
• Bug Hunting with False Negatives
• Abstract Error Projection
• Design and Verification of Fault-Tolerant Components
• scientific article; zbMATH DE number 1956475 (Why is no real title available?)
• scientific article; zbMATH DE number 1956497 (Why is no real title available?)
• scientific article; zbMATH DE number 2080047 (Why is no real title available?)
• Combining Predicate Abstraction with Fixpoint Approximations
• Abstracting C with abC
• Reuse in Software Verification by Abstract Method Calls
• scientific article; zbMATH DE number 7136658 (Why is no real title available?)
• Nash equilibrium and bisimulation invariance
• Lazy abstraction
• Smaller Abstractions for ∀CTL* without Next
• Learning minimal abstractions
• Structural Abstraction of Software Verification Conditions
• Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
• Correct Hardware Design and Verification Methods
• Tools and Algorithms for the Construction and Analysis of Systems
• Formal Methods at the Crossroads. From Panacea to Foundational Support
• Verification, Model Checking, and Abstract Interpretation
• String abstraction for model checking of C programs
• Abstract execution
• Verifying numerical programs via iterative abstract testing
• Improving dynamic code analysis by code abstraction
• Partial model checking via abstract interpretation

This page was built for publication: On abstraction in software verification

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