SingleTrack

swMATH9883MaRDI QIDQ21862

No author found.

Described by source

• SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs

Related Items (5)

Symbolic predictive analysis for concurrent programs ⋮ Efficient data race detection for async-finish parallelism ⋮ Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency ⋮ Trace-Based Symbolic Analysis for Atomicity Violations ⋮ Automatic Verification of Determinism for Structured Parallel Programs

This page was built for software: SingleTrack