Fast Directed Model Checking Via Russian Doll Abstraction

DOI10.1007/978-3-540-78800-3_15zbMath1134.68412OpenAlexW2119571962MaRDI QIDQ5458328

Sebastian Kupferschmid, Jörg Hoffmann, Kim Guldstrand Larsen

Publication date: 11 April 2008

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-540-78800-3_15

Mathematics Subject Classification ID

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

Related Items (5)

Star-Topology Decoupling in SPIN ⋮ Model Checking Real-Time Systems ⋮ Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy ⋮ Transition-Based Directed Model Checking ⋮ The Causal Graph Revisited for Directed Model Checking

Uses Software

• Uppaal

Cites Work

• 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
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Formal Methods for the Design of Real-Time Systems
• Model Checking Software
• Model Checking Software
• Disjoint pattern database heuristics

This page was built for publication: Fast Directed Model Checking Via Russian Doll Abstraction