AVIO

swMATH23090MaRDI QIDQ34874FDOQ34874

Author name not available (Why is that?)

Cited In (5)

• Symbolic predictive analysis for concurrent programs
• Fast Detection of Stable and Count Predicates in Parallel Computations
• Extensible transactional memory testbed
• The Complexity of Predicting Atomicity Violations
• Abstraction and mining of traces to explain concurrency bugs

This page was built for software: AVIO