Boom: Taking Boolean Program Model Checking One Step Further
No abstract available.
Related papers
- Metaphoric Polymorphism: Taking Code Reuse One Step Further ECOOP 1996
- Cause clue clauses: error localization using maximum satisfiability PLDI 2011
- Efficient Evidence Generation for Modal μ-Calculus Model Checking TACAS 2025
- Full LTL Synthesis over Infinite-State Arenas CAV 2025
- Efficient software model checking of soundness of type systems OOPSLA 2008
- Dynamic Programming for Symbolic Boolean Realizability and Synthesis CAV 2024
- Model Checking and Boolean Graphs ESOP 1992
- A Conjunctively Decomposed Boolean Representation for Symbolic Model Checking CAV 1996