Temporal Debugging for Concurrent Systems
Abstract elided by the publisher.
Related papers
- Temporal Breakpoints for Multiverse Debugging SLE 2023
- Temporal NetKAT PLDI 2016
- Debugging Concurrent Systems Based on Object Groups ECOOP 1988
- Debugging temporal specifications with concept analysis PLDI 2003
- Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach POPL 1983
- Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic TOPLAS 1984
- Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications TOPLAS 1986
- A concurrency-agnostic protocol for multi-paradigm concurrent debugging tools DLS 2017