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
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-Monitor
Automatically check your code for compliance with the Java API, or check custom specifications of your choice.
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.