Velodrome

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