Efficient Verification of Parallel Real-Time Systems
Abstract elided by the publisher.
Related papers
- Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems TACAS 2000
- Automated Verification for Real-Time Systems - via Implicit Clocks and an Extended Antimirov Algorithm TACAS 2023
- Real-Time, Concurrent Checkpoint for Parallel Programs PPoPP 1990
- FastForward for efficient pipeline parallelism: a cache-optimized concurrent lock-free queue PPoPP 2008
- The Process Trellis Architectur for Real-Time Monitors PPoPP 1990
- Verification of Real-Time Systems Using PVS CAV 1993
- Real-Time System Verification using P/T Nets CAV 1994
- The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems CAV 2007