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