Hierarchical Set Decision Diagrams and Automatic Saturation

DOI10.1007/978-3-540-68746-7_16zbMath1143.68454OpenAlexW1543164169MaRDI QIDQ3510869

Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon

Publication date: 3 July 2008

Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-68746-7_16

zbMATH Keywords

SaturationHierarchical Decision DiagramsModel Checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Saturation Enhanced with Conditional Locality: Application to Petri Nets ⋮ Hierarchical Set Decision Diagrams and Regular Models

Uses Software

• libDDD
• CUDD
• BuDDy

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Symbolic model checking: \(10^{20}\) states and beyond
• Graph-Based Algorithms for Boolean Function Manipulation
• Improving the variable ordering of OBDDs is NP-complete
• Verification of asynchronous circuits by BDD-based model checking of Petri nets
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Applications and Theory of Petri Nets 2004
• Applications and Theory of Petri Nets 2005

This page was built for publication: Hierarchical Set Decision Diagrams and Automatic Saturation