Automatically check your code for compliance with the Java API, or check custom specifications of your choice.
RV-Monitor gives you
an automatic debugger for subtle bugs other tools can't find, with no false positives
seamless integration with unit tests, build infrastructure, and continuous integration
a platform for analyzing programs, boosting standards compliance and assurance
low 50% overhead for hundreds of complex properties checked
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.