Generating BDDs for Symbolic Model Checking in CCS
Abstract elided by the publisher.
Related papers
- Symbolic Model Checking without BDDs TACAS 1999
- Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs CAV 1999
- Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking CAV 2000
- Optimizing Symbolic Model Checking for Constraint-Rich Models CAV 1999
- Dynamic Programming for Symbolic Boolean Realizability and Synthesis CAV 2024
- BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems TACAS 2000
- Symboloc Model Checking for Event-Driven Real-Time Systems TOPLAS 1997
- Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions CAV 2001