Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking
Abstract elided by the publisher.
Related papers
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026
- Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach TACAS 2002
- Symbolic Model Checking for Rectangular Hybrid Systems TACAS 2000
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra TACAS 2008
- Shortest Counterexamples for Symbolic Model Checking of LTL with Past TACAS 2005
- Symbolic Model Checking without BDDs TACAS 1999
- SMT-Based Symbolic Model-Checking for Operator Precedence Languages CAV 2024
- Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking TACAS 2001