The Causal Graph Revisited for Directed Model Checking
From MaRDI portal
Publication:3392922
DOI10.1007/978-3-642-03237-0_8zbMath1248.68338MaRDI 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
68R10: Graph theory (including graph drawing) in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
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