Hierarchical Set Decision Diagrams and Regular Models
Abstract elided by the publisher.
Related papers
- Weighted Context-Free-Language Ordered Binary Decision Diagrams OOPSLA 2024
- On Application of Multi-Rooted Binary Decision Diagrams to Probabilistic Model Checking VMCAI 2012
- Modular code generation from synchronous block diagrams: modularity vs. code size POPL 2009
- Towards Distributed Software Model-Checking Using Decision Diagrams CAV 2013
- Mechanically Proving Determinacy of Hierarchical Block Diagram Translations VMCAI 2019
- Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking CAV 2000
- Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations OOPSLA 2009
- Strategy Representation by Decision Trees in Reactive Synthesis TACAS 2018