Fixpoint-Guided Abstraction Refinements

DOI10.1007/978-3-540-74061-2_21zbMath1211.68083OpenAlexW1514640333MaRDI QIDQ3612008

Pierre Ganty, Patrick Cousot, Jean-François Raskin

Publication date: 3 March 2009

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74061-2_21

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Why does Astrée scale up? ⋮ Fixed point guided abstraction refinement for alternating automata ⋮ Correctness kernels of abstract interpretations ⋮ Making abstract models complete ⋮ Approximation Refinement for Interpolation-Based Model Checking ⋮ A Forward-Backward Abstraction Refinement Algorithm ⋮ Fixpoint Guided Abstraction Refinement for Alternating Automata

Uses Software

• BLAST
• HyTech