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


RV-Predict gives you

  • an automatic debugger for subtle Java and C/C++ 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.


Newsletter

Your email is safe with us

Working with us

What interests you?

Your email

Your phone number

Thank you!

We'll respond to your request within 48 hours

Recent publication

IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics

Theodoros Kasampalis, Dwight Guth, Brandon Moore, Traian Șerbănuță, Virgil Șerbănuță, Daniele Filaretti, Grigore Roșu, and Ralph Johnson

Technical Report http://hdl.handle.net/2142/100320, July 2018

All publications