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-Monitor is a lightweight formal method and software analysis tool that allows for rigorous enforcement of safety properties over the execution of Java, C, or LLVM software.
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.