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

• scientific article; zbMATH DE number 1746648 (Why is no real title available?)
• 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
• 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

(9)

• Star-Topology Decoupling in SPIN
• Model Checking Software
• Model Checking Software
• Abstractions and pattern databases: the quest for succinctness and accuracy
• The Causal Graph Revisited for Directed Model Checking
• Model checking Russian cards
• Model Checking Real-Time Systems
• Mcta: heuristics and search for timed systems
• Transition-Based Directed Model Checking

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)