Fast Directed Model Checking Via Russian Doll Abstraction

DOI10.1007/978-3-540-78800-3_15MaRDI QIDQ5458328zbMATH OpenOpenAlexFDO

Authors Sebastian Kupferschmid, J. Hoffmann, Kim G. 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)

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

Cites work

• Comparing model checking and logical reasoning for real-time systems
• Disjoint pattern database heuristics
• Formal Methods for the Design of Real-Time Systems
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• scientific article; zbMATH DE number 1746648 (Why is no real title available?)
• Model Checking Software
• Model Checking Software
• Tools and Algorithms for the Construction and Analysis of Systems
• Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL

Cited in

(10)

• Model checking Russian cards
• Abstractions and pattern databases: the quest for succinctness and accuracy
• Model Checking Real-Time Systems
• The Causal Graph Revisited for Directed Model Checking
• Transition-Based Directed Model Checking
• scientific article; zbMATH DE number 1487475 (Why is no real title available?)
• Mcta: heuristics and search for timed systems
• Star-Topology Decoupling in SPIN
• Model Checking Software
• Model Checking Software

Describes a project that uses

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)