Towards Distributed Software Model-Checking Using Decision Diagrams
Abstract elided by the publisher.
Related papers
- On Application of Multi-Rooted Binary Decision Diagrams to Probabilistic Model Checking VMCAI 2012
- Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking CAV 2000
- Compositional Probabilistic Model Checking with String Diagrams of MDPs CAV 2023
- Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams TACAS 2007
- Weakly Acyclic Diagrams: A Data Structure for Infinite-State Symbolic Verification TACAS 2025
- Hierarchical Set Decision Diagrams and Regular Models TACAS 2009
- Symbolic Quantum Simulation with Quasimodo CAV 2023
- FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams CAV 2025