SingleTrack

swMATH9883MaRDI QIDQ21862FDOQ21862

Author name not available (Why is that?)

Described by source

• SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs

Cited In (5)

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

This page was built for software: SingleTrack