Turn your complexity into confidence.

Enforce safety policies, detect policy violations at runtime, find race conditions, and more.

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.


We offer the best possible solutions for reliable software development and analysis developed by leaders in the runtime monitoring community. With both generic products and customized support, let us help improve your codebase today.


Clients

Github




Copyright 2014 Runtime Verification Inc.