Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation
Abstract elided by the publisher.
Related papers
- Verification of Erlang Programs using Abstract Interpretation and Model Mhecking ICFP 1999
- Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties SAS 2002
- Automatic Recognition of Induction Variables and Recurrence Relations by Abstract Interpretation PLDI 1990
- Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation POPL 2020
- Abstract Interpretation of Temporal Safety Effects of Higher Order Programs OOPSLA 2025
- Finding Recurrent Sets with Backward Analysis and Trace Partitioning TACAS 2016
- Deciding ω-regular properties on linear recurrence sequences POPL 2021
- "Sometime" is Sometimes "Not Never" - On the Temporal Logic of Programs POPL 1980