Select a version of RV-Match v1.0 for download below. If you need a custom version for your compiler, architecture, C specification, or platform, please contact us. To download the sources redistributed with RV-Match, see here.

All RV-Match releases require Java 8 to run.

Operating System Language Available Profiles Library Support (incl. libc)
Linux (Debian, Ubuntu) ISO C11 x86_64-linux-gcc-glibc
x86-gcc-limited-libc
78k0r
Yes Download | Install Info
Vagrant VM (Any OS) ISO C11 x86_64-linux-gcc-glibc
x86-gcc-limited-libc
78k0r
Yes Download | Install Info
Native Windows (Vista or later) ISO C11 78k0r No Contact Us for Download Information



Copyright 2017 Runtime Verification Inc.