The ForSpec Temporal Logic: A New Temporal Property-Specification Language
Abstract elided by the publisher.
Related papers
- Expressing Interesting Properties of Programs in Propositional Temporal Logic POPL 1986
- Temporal Refinements for Guarded Recursive Types ESOP 2021
- Structural Temporal Logic for Mechanized Program Verification OOPSLA 2025
- Runtime Verification of Temporal Properties over Out-of-Order Data Streams CAV 2017
- Verifying Temporal Heap Properties Specified via Evolution Logic ESOP 2003
- Sound Verification Procedures for Temporal Properties of Infinite-State Systems CAV 2021
- Efficient Temporal Reasoning POPL 1989
- The Temporal Logic of Actions TOPLAS 1994