A Forward-Backward Abstraction Refinement Algorithm
From MaRDI portal
Publication:5452721
DOI10.1007/978-3-540-78163-9_22zbMath1138.68458MaRDI 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
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
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!