The Causal Graph Revisited for Directed Model Checking
From MaRDI portal
Publication:3392922
DOI10.1007/978-3-642-03237-0_8zbMath1248.68338OpenAlexW1878689174MaRDI QIDQ3392922
Publication date: 18 August 2009
Published in: Static Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-03237-0_8
Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy ⋮ A complete parameterized complexity analysis of bounded planning
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Comparing model checking and logical reasoning for real-time systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL
- Fast Directed Model Checking Via Russian Doll Abstraction
- Model Checking Software
- Model Checking Software