SingleTrack

swMATH9883MaRDI QIDQ21862FDOQ21862

Author name not available (Why is that?)

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