Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation

DOI10.3233/FI-2009-137zbMath1183.68374OpenAlexW1823120935MaRDI QIDQ3647367

Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg

Publication date: 30 November 2009

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2009-137

zbMATH Keywords

model checkingsaturationhierarchical decision diagrams

Mathematics Subject Classification ID

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

Related Items (2)

Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets ⋮ Nested-unit Petri nets

Uses Software

• libDDD
• Renew

This page was built for publication: Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation