Transition-Based Directed Model Checking

DOI10.1007/978-3-642-00768-2_19MaRDI QIDQ3617760zbMATH OpenOpenAlexFDO

Authors Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski

Publication date 31 March 2009

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00768-2_19

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model Checking Software
• The Causal Graph Revisited for Directed Model Checking
• Survey on Directed Model Checking
• Abstractions and pattern databases: the quest for succinctness and accuracy
• Model Checking Software

Cites work

• scientific article; zbMATH DE number 1746648 (Why is no real title available?)
• Comparing model checking and logical reasoning for real-time systems
• Fast Directed Model Checking Via Russian Doll Abstraction
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Model Checking Software
• Model Checking Software
• Planning as heuristic search
• The FF planning system: Fast plan generation through heuristic search
• Tools and Algorithms for the Construction and Analysis of Systems
• Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL

Cited in

(8)

• Survey on Directed Model Checking
• Abstractions and pattern databases: the quest for succinctness and accuracy
• scientific article; zbMATH DE number 1746648 (Why is no real title available?)
• Formal verification of concurrent systems via directed model checking
• Verification, Model Checking, and Abstract Interpretation
• The Causal Graph Revisited for Directed Model Checking
• Transition power abstractions for deep counterexample detection
• Directed Model Checking for B: An Evaluation and New Techniques

Describes a project that uses

Uses Software

• UniForM

This page was built for publication: Transition-Based Directed Model Checking

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