Get to market faster, increase code portability, and save on development and debugging with the most advanced and precise semantics-based bug finding tool.


RV-Match 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


Based on cutting edge research and a complete formal ISO C11 semantics, RV-Match generates powerful, rigorous, and automatic tools for analyzing your codebase, including undefinedness. And with no false positives, developers waste no time in their workflow.


Newsletter

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 http://hdl.handle.net/2142/100320, July 2018

All publications