Automatically detect the rarest and most difficult data races in your Java code, saving on development and testing effort with the most precise race finder available.

RV-Predict gives you
  • an automatic debugger for subtle Java data races with no false positives
  • seamless integration with unit tests, build infrastructure, and continuous integration
  • a maximal detection algorithm that finds more races than any sound dynamic tool

Based on cutting edge academic research, RV-Predict provides an easy to use, automatic, robust race detector that has found hundreds of real bugs in widely deployed software systems. And with no false positives, developers waste no time in their workflow.

Latest from the RV-Predict Blog:

Jul 07 2017: C11 Fails to Define Data Races Involving Interrupts by David Young
Nov 16 2015: Testing Tomcat using RV-Predict by Yilong Li
Aug 30 2015: Testing K Framework using RV-Predict by Yilong Li
Jul 25 2015: Detecting popular data races in Java using RV-Predict by Yilong Li
Jul 02 2015: Using RV-Predict to track down race conditions by Dwight Guth

Copyright 2017 Runtime Verification Inc.