Fixpoint-Guided Abstraction Refinements

DOI10.1007/978-3-540-74061-2_21MaRDI QIDQ3612008zbMATH OpenOpenAlexFDO

Authors Patrick Cousot, Pierre Ganty, 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)

Recommendations

• A Forward-Backward Abstraction Refinement Algorithm
• Refining abstract interpretations
• scientific article; zbMATH DE number 1670775
• Fixpoint Guided Abstraction Refinement for Alternating Automata
• scientific article; zbMATH DE number 1759702

Cited in

(15)

• Fixed point guided abstraction refinement for alternating automata
• Correctness kernels of abstract interpretations
• Comparing abstraction refinement algorithms
• Guiding Craig interpolation with domain-specific abstractions
• Abstract Counterexample-Based Refinement for Powerset Domains
• Fixpoint Guided Abstraction Refinement for Alternating Automata
• scientific article; zbMATH DE number 1759702 (Why is no real title available?)
• Approximation Refinement for Interpolation-Based Model Checking
• A Forward-Backward Abstraction Refinement Algorithm
• Automatically Refining Abstract Interpretations
• Making abstract models complete
• Tools and Algorithms for the Construction and Analysis of Systems
• First order Büchi automata and their application to verification of LTL specifications
• Model checking as program verification by abstract interpretation
• Why does Astrée scale up?

Describes a project that uses

Uses Software

• BLAST
• HyTech

This page was built for publication: Fixpoint-Guided Abstraction Refinements

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