jPredictor

swMATH23065MaRDI QIDQ34849FDOQ34849

Author name not available (Why is that?)

Cited In (5)

• Parametric and Sliced Causality
• Fast Detection of Stable and Count Predicates in Parallel Computations
• Title not available (Why is that?)
• Efficient abstraction algorithms for predicate detection
• The Complexity of Predicting Atomicity Violations

This page was built for software: jPredictor