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.

Clients

NSF Denso IOHK NASA Boeing Toyota ITC

Latest News and Events:

Sep 19 2017: RV-Match now supports inline assembly by Dwight Guth
Sep 14 2017: K Framework Seeking Professional Developers by Brandon Moore
Aug 04 2017: Undefined Behavior Review: tis-interpreter vs. RV-Match by Brandon Moore
Jul 03 2017: Runtime Verification seeking a Senior Verification Engineer and a Full Stack Software Engineer by Dwight Guth
Feb 14 2017: K Developer Interviewed in Illinois Paper by Brandon Moore




Copyright 2017 Runtime Verification Inc.