jPredictor
From MaRDI portal
JPredictor
Cited in
(15)- Atomizer
- Efficient abstraction algorithms for predicate detection
- Java-MOP
- Java-MaC
- Fast Detection of Stable and Count Predicates in Parallel Computations
- LARVA
- QuickLex
- ASM
- CTrigger
- PENELOPE
- FastTrack
- AVIO
- The Complexity of Predicting Atomicity Violations
- QuickLex: a fast algorithm for consistent global states enumeration of distributed computations
- Parametric and Sliced Causality
This page was built for software: jPredictor
