Comparing abstraction refinement algorithms

MaRDI QIDQ2845498zbMATH OpenFDO

Authors Dennis Dams

Publication date 30 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105800039

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

• A Forward-Backward Abstraction Refinement Algorithm
• Abstraction and abstraction refinement
• Automated Technology for Verification and Analysis
• Tools and Algorithms for the Construction and Analysis of Systems
• scientific article; zbMATH DE number 18655
• Verification, Model Checking, and Abstract Interpretation
• Fixpoint-Guided Abstraction Refinements
• Comparison Under Abstraction for Verifying Linearizability
• Making abstraction-refinement efficient in model checking

Cited in

(5)

• Language-Based Abstraction Refinement for Hybrid System Verification
• A Forward-Backward Abstraction Refinement Algorithm
• Tools and Algorithms for the Construction and Analysis of Systems
• Static Analysis
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Comparing abstraction refinement algorithms

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