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 product that will be coming soon. It generates AspectJ monitoring code that may be weaved into any Java program to detect violations of safety policies or to enforce safety policies at runtime. RV Monitor can easily be integrated into existing build scripts or continuous integration systems, or used standalone on the command line.
RV Predict is able to find race conditions in multithreaded programs by constructing a causal model of a program from a trace generated at runtime. RV Predict is based on technologies invented at the University of Illinois at Urbana-Chamapaign and first implemented in the academic runtime verification system jPredictor in 2008.