| Name | Version | Summary | date |
|---|---|---|---|
| PyDejaVu-RV | 1.0.0 | PyDejaVu is a Python implementation that wraps the original DejaVu jar file, providing a bridge between Python and the Java-based DejaVu runtime verification tool. This wrapper extends DejaVu's functionality by supporting a 2-phase monitoring approach. | 2024-09-27 13:29:32 |
| hpl-rv | 1.2.0 | Tools to enable Runtime Verification from HPL properties | 2023-11-06 15:29:52 |
| hpl-rv-ros | 1.1.0 | Runtime Verification tools for ROS systems | 2023-09-05 08:32:41 |
| hour | day | week | total |
|---|---|---|---|
| 27 | 699 | 9125 | 274635 |