Runtime Verification is a new startup providing simple solutions to analyze your team's code through
cutting-edge program verification research. Our tools are entirely automatic, generate no false positives,
and integrate easily into your team's existing workflow.
RV-Predict is a commerical tool that automatically analyzes Java programs for data races and concurrency errors, reporting only real races with no possibility of false positives.