Runtime Verifiers

This page lists all of the Runtime Verifiers on this site in alphabetical order. Click a tool name in the first column to view tool details. Click a colorful item in the second column to view all the tools for which that term applies. Item colors mean nothing and are intended to make it easy to skim the page. Colors are generated by hashing each term’s name and converting it to RGB color values.

Tool	Applications	Licenses
contractLarva	Runtime Verifier	Apache-2.0
Copilot	Runtime Verifier
detectEr	Runtime Verifier	GPL-3.0
easy-rte	Runtime Verifier	MIT
hlola	Runtime Verifier	MIT
ivory-rtverification	Runtime Verifier	BSD-3-Clause
JavaMOP	Runtime Verifier
MESA	Runtime Verifier	NASA Open Source
Paranoid Scientist	Runtime Verifier	MIT
QEA	Runtime Verifier Specification Language	MIT
R2U2	Runtime Verifier	MIT Apache-2.0
ROSMonitoring	Runtime Verifier	MIT
ROSRV	Runtime Verifier
RVHyper	Runtime Verifier	GPL-3.0

Red dot indicates tool has not been updated or maintained recently