Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors
No abstract available.
DOI 10.1007/978-3-540-27813-9_20
Related papers
- Weakly Acyclic Diagrams: A Data Structure for Infinite-State Symbolic Verification TACAS 2025
- Symbolic Quantum Simulation with Quasimodo CAV 2023
- Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems TACAS 2020
- Dynamic Programming for Symbolic Boolean Realizability and Synthesis CAV 2024
- Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions CAV 2006
- Monadic second-order logic on finite sequences POPL 2017
- Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems TACAS 2012
- A Conjunctively Decomposed Boolean Representation for Symbolic Model Checking CAV 1996