A Forward-Backward Abstraction Refinement Algorithm

DOI10.1007/978-3-540-78163-9_22MaRDI QIDQ5452721zbMATH OpenOpenAlexFDO

Authors Olivia Rossi-Doria, Francesco Tapparo, Francesco Ranzato

Publication date 4 April 2008

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-78163-9_22

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Fixpoint-Guided Abstraction Refinements
• A satisfiability-based approach to abstraction refinement in model checking
• scientific article; zbMATH DE number 1670775
• Automated Technology for Verification and Analysis
• Comparing abstraction refinement algorithms

Cites work

• Abstract Counterexample-Based Refinement for Powerset Domains
• Abstract interpretation and application to logic programs
• Counterexample-guided abstraction refinement for symbolic model checking
• Fixpoint-Guided Abstraction Refinements
• From Many Places to Few: Automatic Abstraction Refinement for Petri Nets
• scientific article; zbMATH DE number 1982210 (Why is no real title available?)
• Lazy abstraction
• Systematic design of program transformation frameworks by abstract interpretation
• Tools and Algorithms for the Construction and Analysis of Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Verification, Model Checking, and Abstract Interpretation
• Well-structured transition systems everywhere!

Cited in

(6)

• Correctness kernels of abstract interpretations
• Property directed abstract interpretation
• Comparing abstraction refinement algorithms
• Fixpoint-Guided Abstraction Refinements
• An abstract interpretation framework for genotype elimination algorithms
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: A Forward-Backward Abstraction Refinement Algorithm

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