RV-Monitor
Monitor and enforce the properties you choose, at runtime
Automatically check your code for compliance with the Java API, or check custom specifications of your choice.
What 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.
When and why to use it
RV-Monitor observes a complex application or system and enforces properties over its execution traces. It earns its place wherever a specification governs how a program is developed and adherence to that specification is a critical feature of the software, including compliance with generic APIs such as Android and Java.
It checks against rigorous specifications automatically and efficiently, and reports no false positives, so nothing in a developer's workflow is spent dismissing noise. The C engine is what powers RV-ECU for embedded control units.
Need properties enforced on a system that is still running?
Talk to our team