Shortest Counterexamples for Symbolic Model Checking of LTL with Past
No abstract available.
Related papers
- Symbolic Model Checking without BDDs TACAS 1999
- Bounded Model Checking for Past LTL TACAS 2003
- Simple Is Better: Efficient Bounded Model Checking for Past LTL VMCAI 2005
- Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking CAV 2005
- Bounded Model Checking for Hyperproperties TACAS 2021
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026
- Symbolic Automata: Omega-Regularity Modulo Theories POPL 2025
- Transition Power Abstractions for Deep Counterexample Detection TACAS 2022