Velodrome

swMATH8925MaRDI QIDQ20921FDOQ20921

Author name not available (Why is that?)

Cited In (5)

• Symbolic predictive analysis for concurrent programs
• Verification of STM on relaxed memory models
• Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency
• Trace-Based Symbolic Analysis for Atomicity Violations
• The Complexity of Predicting Atomicity Violations

This page was built for software: Velodrome