jPredictor
From MaRDI portal
Software:34849
No author found.
Related Items (5)
Fast Detection of Stable and Count Predicates in Parallel Computations ⋮ Parametric and Sliced Causality ⋮ The Complexity of Predicting Atomicity Violations ⋮ Unnamed Item ⋮ Efficient abstraction algorithms for predicate detection
This page was built for software: jPredictor
