Embedded Systems logo Embedded Systems

Runtime Verification Inc. has developed three solutions for the embedded systems space. RV-Match is a tool allowing for exhaustive runtime verification to be performed symbolically on all possible program paths, proving certain properties correct for all possible executions of a given program. RV-Monitor is a development methodology and library generation tool allowing for the monitoring and enforcement of user-selected properties at runtime. RV-Predict is a predictive runtime analysis tool focused on automatically detecting concurrency errors in your programs.


RV-Match logo

RV-Match

Get to market faster, increase code portability, and save on development and debugging with the most advanced and precise semantics-based bug finding tool.

RV-Match

RV-Monitor logo

RV-Monitor

Automatically check your code for compliance with the Java API, or check custom specifications of your choice.

RV-Monitor

RV-Predict logo

RV-Predict

RV-Predict automatically detects the rarest and most difficult data races in your Java and C/C++ code, saving on development and testing effort with the most precise race finder available.

RV-Predict

Partners & Customers

DENSO
NASA
NSF
Toyota ITC