Turn your complexity into confidence. Save development time with no false alarms. Achieve standards compliance with rigor.

Runtime verification provides cutting-edge products to automatically and accurately detect the rarest, trickiest and most costly bugs lurking in your codebase. 

RV-Match is a semantics-based dynamic analysis tool and debugger for C errors, and an automatic checker for all C undefinedness.

RV-Predict is an automatic race detector with no false positives, predicting a range of Java concurrency errors.

RV-Monitor is a lightweight monitoring tool that checks your Java code against formal specifications, with over 200 Java API properties built in.

We offer a fresh approach to program analysis, balancing more precision than classic static analysis tools with more scalability and automation than heavyweight verification techniques.

Note: Runtime Verification tools can currently only be run on desktop. Embedded platforms will be supported soon.


NASA Denso Boeing Toyota ITC NSF

Copyright 2017 Runtime Verification Inc.