This page contains links to various runtime verification tools that have been developed over time. Feel free to add your tool.
Daut An internal shallow Scala DSL (effectively an API) for runtime verification. A monitor is programmed as a class subclassing the
Monitorclass, which provides various constructs for writing monitors.
SMEDL A runtime verification framework to specify monitors using an EFSM-style formalism, to generate C executable monitor code from specifications, and to deploy the monitors in a centralized or distributed settings.