A Forward-Backward Abstraction Refinement Algorithm

DOI10.1007/978-3-540-78163-9_22zbMath1138.68458OpenAlexW1856060541MaRDI QIDQ5452721

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)

Related Items (2)

An abstract interpretation framework for genotype elimination algorithms ⋮ Correctness kernels of abstract interpretations

Cites Work

• Unnamed Item
• Counterexample-guided abstraction refinement for symbolic model checking
• Abstract Counterexample-Based Refinement for Powerset Domains
• Fixpoint-Guided Abstraction Refinements
• From Many Places to Few: Automatic Abstraction Refinement for Petri Nets
• Abstract interpretation and application to logic programs
• Lazy abstraction
• Systematic design of program transformation frameworks by abstract interpretation
• Tools and Algorithms for the Construction and Analysis of Systems
• Verification, Model Checking, and Abstract Interpretation
• Tools and Algorithms for the Construction and Analysis of Systems
• Well-structured transition systems everywhere!

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