Temporal Reasoning for Procedural Programs
No abstract available.
Related papers
- Efficient Temporal Reasoning POPL 1989
- Concurrent Data Structures Linked in Time ECOOP 2017
- Modular Verification of State-Based CRDTs in Separation Logic ECOOP 2023
- Model-Checking Structured Context-Free Languages CAV 2021
- A Model Checker for Operator Precedence Languages TOPLAS 2023
- Procedure placement using temporal-ordering information TOPLAS 1999
- Sound Verification Procedures for Temporal Properties of Infinite-State Systems CAV 2021
- Quantitative Temporal Reasoning CAV 1990