SingleTrack

MaRDI QIDQ21862swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-642-00590-9_28

Described by source

• SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs

Cited in

(14)

• TaskChecker
• Atomizer
• Velodrome
• Interproc
• Soot
• Efficient data race detection for async-finish parallelism
• Java Grande
• Sisal
• Octagon
• Clara
• Verifying robustness of event-driven asynchronous programs against concurrency
• Trace-based symbolic analysis for atomicity violations
• Symbolic predictive analysis for concurrent programs
• Automatic verification of determinism for structured parallel programs

This page was built for software: SingleTrack