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

company mission and vision news team careers publications presentations videos faq Embedded Systems Blockhain Advisory Services Smart Contract Verification Protocol Verification Formal Design and Modeling The IELE Virtual Machine Partnerships contact media kit blog