Higher-Level Specification and Verification with BDDs
Abstract elided by the publisher.
Related papers
- Efficient Verification of Timed Automata with BDD-Like Data-Structures VMCAI 2003
- Efficient Verification with BDDs using Implicitly Conjoined Invariants CAV 1993
- Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification CAV 2002
- Rabbit: A Tool for BDD-Based Verification of Real-Time Systems CAV 2003
- Parallel Breadth-First BDD Construction PPoPP 1997
- Symbolic Model Checking without BDDs TACAS 1999
- Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic TOPLAS 2016
- BDD-Based Formula Approximations for Quantified Bit-Vector Satisfiability TACAS 2026