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)

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

This page was built for software: SingleTrack