Fast Directed Model Checking Via Russian Doll Abstraction

DOI10.1007/978-3-540-78800-3_15zbMATH Open1134.68412OpenAlexW2119571962MaRDI QIDQ5458328FDOQ5458328

Kim G. Larsen, Sebastian Kupferschmid, J. Hoffmann

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

Recommendations

• Model Checking Software
• Abstractions and pattern databases: the quest for succinctness and accuracy
• Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL
• Survey on Directed Model Checking
• Model Checking Software

Mathematics Subject Classification ID

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

Cites Work

• Formal Methods for the Design of Real-Time Systems
• Disjoint pattern database heuristics
• Title not available (Why is that?)
• Model Checking Software
• Model Checking Software
• 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

Cited In (8)

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

Uses Software

• Uppaal

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458328)