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
• 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