Tools
  • Valour: An industrial RV tool developed as part of the OPE Project. (Webpage)

  • PollyRV: An RV tool for monitoring distributed systems through technology agnostic specifications. (Webpage)

  • SMock: A mocking tool for quickly generating dummy systems for profiling runtime verification tools. (Webpage)

  • detectEr: detectEr is a prototype academic tool for Runtime Verification. The tool is written in Erlang and currently targeted for Erlang programs. The aim of this tool is to monitor for sHML formulas which are the safety properties subset of the full Hennessey-Milner Logic with recursion. (Webpage)

  • Shade: Shade is a structural hardware description language embedded within the meta-functional language reFLect. (Webpage)

  • CLAN: CLAN is a tool to analyse deontic contracts written in CL for conflict analysis. (Webpage)

  • Larva ToolSet: Larva is a runtime verification platform for runtime verification of critical systems. The tools has matured and evolved into a toolset. Visit the webpage for an overview of all the flavours.

  • SPeeDI: SPeeDI is a collection of utilities to manipulate and reason mechanically about Polygonal Differential Inclusion Systems, a decidable class of hybrid systems (hybrid systems are ones which combine discrete and continuous dynamics). (Webpage)

  • Haslu: An experimental version of an embedding of Lustre in Haskell, very much in the spirit of Lava. It runs using the Hugs interpreter. The tool was developed by Gordon Pace. (Source code)

  • Simsem: A translator from Verilog to SMV input, emulating the simulation semantics of the given program, written in Haskell. The tool was developed by Gordon Pace. (Source code)