Lifting Temporal Proofs through Abstractions
Abstract elided by the publisher.
Related papers
- Compositional virtual timelines: verifying dynamic-priority partitions with algorithmic temporal isolation OOPSLA 2022
- Probabilistic CTL*: The Deductive Way TACAS 2016
- How to Cook a Temporal Proof System for Your Pet Language POPL 1983
- Lifting proof-relevant unification to higher dimensions CPP 2017
- Structural Temporal Logic for Mechanized Program Verification OOPSLA 2025
- Temporal Proof Methodologies for Real-time Systems POPL 1991
- Explainable Online Monitoring of Metric Temporal Logic TACAS 2023
- Do You Even Lift? Strengthening Compiler Security Guarantees against Spectre Attacks POPL 2025