Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems
No abstract available.
Related papers
- Antichains Algorithms for the Inclusion Problem Between ømega-VPL TACAS 2023
- Language Inclusion Algorithms as Complete Abstract Interpretations SAS 2019
- Antichain Algorithms for Finite Automata TACAS 2010
- Specification and inference of trace refinement relations OOPSLA 2019
- Software Verification of Hyperproperties Beyond k-Safety CAV 2022
- AutoHyper: Explicit-State Model Checking for HyperLTL TACAS 2023
- Bridging the Gap between Fair Simulation and Trace Inclusion CAV 2003
- Verifying Asynchronous Hyperproperties in Reactive Systems OOPSLA 2025