Hierarchical Set Decision Diagrams and Regular Models

DOI10.1007/978-3-642-00768-2_1zbMath1234.68267OpenAlexW1486382412MaRDI QIDQ3617750

Denis Poitrenaud, Yann Thierry-Mieg, Alexandre Hamez, Fabrice Kordon

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_1

Mathematics Subject Classification ID

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

Related Items

Petri Net Reductions for Counting Markings ⋮ Nested-unit Petri nets ⋮ On the combination of polyhedral abstraction and SMT-based model checking for Petri nets

Uses Software

• libDDD

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Exploiting interleaving semantics in symbolic state-space generation
• Hierarchical Set Decision Diagrams and Automatic Saturation
• Graph-Based Algorithms for Boolean Function Manipulation
• Formal Techniques for Networked and Distributed Systems - FORTE 2005