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.

RV-Monitor for Java also powers the academic JavaMOP, and RV-Monitor for C powers RV-ECU for embedded control units.


Your email is safe with us

Working with us

What interests you?

Your email

Your phone number

Thank you!

We'll respond to your request within 48 hours

Recent publication

IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics

Theodoros Kasampalis, Dwight Guth, Brandon Moore, Traian Șerbănuță, Virgil Șerbănuță, Daniele Filaretti, Grigore Roșu, and Ralph Johnson

Technical Report, July 2018

All publications