Automatically check your code for compliance with the Java API, or
check custom specifications of your choice.
Download RV-Monitor for Academic Use
Check RV-Monitor source code on GitHub
Based on cutting edge academic research
, RV-Monitor aims to provide automatic and efficient checks of your program against rigorous specifications including the Java API. And with no false positives, developers waste no time in their workflow.
RV-Monitor for Java also powers the academic JavaMOP, and RV-Monitor for C powers RV-ECU for embedded control units.