A BDD-Based Model Checker for Recursive Programs
No abstract available.
Related papers
- Symbolic Model Checking without BDDs TACAS 1999
- POPACheck: A Model Checker for Probabilistic Pushdown Automata CAV 2025
- Generating BDD Models for Process Algebra Terms CAV 1995
- Generating BDDs for Symbolic Model Checking in CCS CAV 1991
- BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems TACAS 2000
- Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs CAV 1999
- Adiar Binary Decision Diagrams in External Memory TACAS 2022
- Symboloc Model Checking for Event-Driven Real-Time Systems TOPLAS 1997