Abstraction and Refinement in Model Checking

DOI10.1007/11804192_11MaRDI QIDQ3591392zbMATH OpenOpenAlexFDO

Authors Orna Grumberg

Publication date 11 September 2007

Published in Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11804192_11

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The abstraction-refinement framework in model checking
• scientific article; zbMATH DE number 2086963
• scientific article; zbMATH DE number 2110619
• An efficient approach for abstraction-refinement in model checking
• The role of abstraction in model checking
• Computer Aided Verification
• Making abstraction-refinement efficient in model checking
• A satisfiability-based approach to abstraction refinement in model checking
• Automated Technology for Verification and Analysis
• scientific article; zbMATH DE number 1953015

Cited in

(22)

• Network invariants for real-time systems
• Making abstraction-refinement efficient in model checking
• Abstraction and abstraction refinement
• Symbolic trajectory evaluation
• scientific article; zbMATH DE number 1104443 (Why is no real title available?)
• scientific article; zbMATH DE number 1948409 (Why is no real title available?)
• scientific article; zbMATH DE number 1543047 (Why is no real title available?)
• Automata-Based Abstraction Refinement for µHORS Model Checking
• scientific article; zbMATH DE number 1863177 (Why is no real title available?)
• scientific article; zbMATH DE number 1903350 (Why is no real title available?)
• scientific article; zbMATH DE number 2110619 (Why is no real title available?)
• scientific article; zbMATH DE number 898449 (Why is no real title available?)
• Refining and compressing abstract model checking
• A type-directed abstraction refinement approach to higher-order model checking
• The abstraction-refinement framework in model checking
• scientific article; zbMATH DE number 5051662 (Why is no real title available?)
• Computer Aided Verification
• Model Checking Software
• Tools and Algorithms for the Construction and Analysis of Systems
• Concrete abstractions. Formalizing and analyzing discrete theories and algorithms with the RISCAL model checker
• An efficient approach for abstraction-refinement in model checking
• On using data abstractions for model checking refinements

This page was built for publication: Abstraction and Refinement in Model Checking

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