jPredictor

swMATH23065MaRDI QIDQ34849FDOQ34849

Author name not available (Why is that?)

Official website: http://fsl.cs.illinois.edu/index.php/JPredictor

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