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-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.
