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-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.
by Dwight Guth
May 22, 2017