States vs. Traces in Model Checking by Abstract Interpretation
No abstract available.
Related papers
- Data Flow Analysis is Model Checking of Abstract Interpretations POPL 1998
- Temporal Abstract Interpretation POPL 2000
- Integrating Model Checking into a Live Modeling Environment SLE 2025
- Finding Recurrent Sets with Backward Analysis and Trace Partitioning TACAS 2016
- Using Bounded Model Checking to Focus Fixpoint Iterations SAS 2011
- AutoHyper: Explicit-State Model Checking for HyperLTL TACAS 2023
- Language Inclusion Algorithms as Complete Abstract Interpretations SAS 2019
- Trace-based control-flow analysis PLDI 2021