Temporal-Safety Proofs for Systems Code
No abstract available.
Related papers
- A Model and Temporal Proof System for Networks of Processes POPL 1985
- Coinductive Proofs for Temporal Hyperliveness POPL 2025
- CETS: compiler enforced temporal safety for C ISMM 2010
- A CHERI C Memory Model for Verified Temporal Safety CPP 2025
- Structural Temporal Logic for Mechanized Program Verification OOPSLA 2025
- A compositional proof framework for FRETish requirements CPP 2022
- Reducing liveness to safety in first-order logic POPL 2018
- Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation POPL 2020