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 Monitor class, 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.