Functional Extension of Symbolic Model Checking
Abstract elided by the publisher.
Related papers
- Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors CAV 2004
- Symbolic Optimal Reachability in Weighted Timed Automata CAV 2016
- Optimizing Symbolic Model Checking for Constraint-Rich Models CAV 1999
- PrIC3: Property Directed Reachability for MDPs CAV 2020
- Symbolic Register Automata CAV 2019
- Symbolic Model Checking for TLA+ Made Faster TACAS 2023
- Weakly Acyclic Diagrams: A Data Structure for Infinite-State Symbolic Verification TACAS 2025
- SMT-Based Symbolic Model-Checking for Operator Precedence Languages CAV 2024