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.
Get to market faster, increase code portability, and save on development and debugging with the most advanced and precise semantics-based bug finding tool.
Automatically check your code for compliance with the Java API, or check custom specifications of your choice.
RV-Predictautomatically detect 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.
Experienced C Developers Can Still Misunderstand Simple Language Concepts
by Dwight Guth
May 22, 2017