We provide solutions to analyze your team's code through
cutting-edge program analysis research.
Our tools are automatic, generate no false positives,
and integrate easily into your team's existing workflow.
RV-Monitor is a runtime monitoring tool that allows for checking and enforcement of safety properties over the execution of your software.
RV-Predict is a predictive runtime analysis tool that detects data races in your concurrent software, reporting only real races (no false positives).