Transition-Based Directed Model Checking

DOI10.1007/978-3-642-00768-2_19zbMath1234.68268OpenAlexW1567952077MaRDI QIDQ3617760

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)

Related Items (1)

Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy

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
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Model Checking Software
• Model Checking Software
• Planning as heuristic search

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