swMATH8925MaRDI QIDQ20921FDOQ20921
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=1375618
Cited In (10)
- Symbolic predictive analysis for concurrent programs
- Verifying robustness of event-driven asynchronous programs against concurrency
- Verification of STM on relaxed memory models
- Atomizer
- Checkfence
- SingleTrack
- Trace-based symbolic analysis for atomicity violations
- AVIO
- jPredictor
- The Complexity of Predicting Atomicity Violations
This page was built for software: Velodrome
