| contractLarva |
contractLarva is a runtime verification tool for Solidity contracts. For more details about the tool … |
| Copilot |
Copilot is a runtime verification framework for hard real-time systems.
|
| detectEr |
A runtime verification tool for monitoring asynchronous component systems.
|
| easy-rte |
Toolchain to automatically generate and verify HW or SW runtime enforcers from text-based framework
|
| hlola |
|
| ivory-rtverification |
[ Not Maintained Since 2014 ] Runtime verification for C code via a GCC plugin architecture.
|
| JavaMOP |
[ Not Maintained Since 2019 ] Runtime verification system for Java, using AspectJ for … |
| MESA |
MESA is a framework that provides runtime verification of distributed systems in a nonintrusive … |
| Paranoid Scientist |
Runtime software verification and automated testing for scientific software in Python
|
| QEA |
[ Not Maintained Since 2019 ] Quantified Event Automata (QEA) is a specification formalism … |
| R2U2 |
The Realizable Responsive Unobtrusive Unit is an online runtime monitor framework.
|
| ROSMonitoring |
ROSMonitoring is a framework developed for verifying at runtime the messages exchanged in a ROS … |
| ROSRV |
[ Not Maintained Since 2014 ] ROSRV is a runtime verification framework for the Robot Operating … |
| RVHyper |
[ Not Maintained Since 2019 ] RVHyper - A Runtime Verification Tool for Temporal Hyperproperties.
|