An n log n Algorithm for Online BDD Refinement
Abstract elided by the publisher.
Related papers
- Points-to analysis using BDDs PLDI 2003
- Symbolic Coloured SCC Decomposition TACAS 2021
- Verifying BDD Algorithms through Monadic Interpretation VMCAI 2002
- For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM ESOP 2021
- Symbolic Monitoring Against Specifications Parametric in Time and Data CAV 2019
- BDD-Based Formula Approximations for Quantified Bit-Vector Satisfiability TACAS 2026
- For a Few Dollars More: Verified Fine-Grained Algorithm Analysis Down to LLVM TOPLAS 2022
- Montre: A Tool for Monitoring Timed Regular Expressions CAV 2017