Verifying Temporal Heap Properties Specified via Evolution Logic
Abstract elided by the publisher.
Related papers
- A foundation for flow-based program matching: using temporal logic and model checking POPL 2009
- Verifying Temporal Properties without Temporal Logic TOPLAS 1989
- A Temporal Differential Dynamic Logic Formal Embedding CPP 2024
- The Temporal Logic of Actions TOPLAS 1994
- Bounded model checking of signal temporal logic properties using syntactic separation POPL 2019
- Online Causation Monitoring of Signal Temporal Logic CAV 2023
- Modular verification of heap reachability properties in separation logic OOPSLA 2019
- Reducing liveness to safety in first-order logic POPL 2018