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 no false positives.
RV-Match is a symbolic execution tool that provides strong, semantics-based correctness guarantees over one, more or all program executions.