Cited in
(14)- Symbolic predictive analysis for concurrent programs
- Automatic verification of determinism for structured parallel programs
- Atomizer
- TaskChecker
- Interproc
- Velodrome
- Soot
- Java Grande
- Octagon
- Sisal
- Clara
- Verifying robustness of event-driven asynchronous programs against concurrency
- Trace-based symbolic analysis for atomicity violations
- Efficient data race detection for async-finish parallelism
This page was built for software: SingleTrack
