The Causal Graph Revisited for Directed Model Checking

DOI10.1007/978-3-642-03237-0_8zbMath1248.68338OpenAlexW1878689174MaRDI QIDQ3392922

Malte Helmert, Martin Wehrle

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

Mathematics Subject Classification ID

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 (2)

Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy ⋮ A complete parameterized complexity analysis of bounded planning

Uses Software

• UniForM

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

This page was built for publication: The Causal Graph Revisited for Directed Model Checking