Automatic Temporal Verification of Buffer Systems
Abstract elided by the publisher.
Related papers
- Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach POPL 1983
- Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications TOPLAS 1986
- T2: Temporal Property Verification TACAS 2016
- Reducing memory buffering overhead in software thread-level speculation CC 2016
- A Semantics Driven Temporal Verification System ESOP 1988
- Reasoning about nondeterminism in programs PLDI 2013
- Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-and-Effect System with Delimited Continuations POPL 2023
- Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems CAV 2024