At a Glance
Applications | Runtime Verifier |
Interfaces | CLI |
Licenses | MIT |
Maintenance | Actively Maintained |
Description
ROSMonitoring is a framework developed for verifying at runtime the messages exchanged in a ROS system.
Applications | Runtime Verifier |
Interfaces | CLI |
Licenses | MIT |
Maintenance | Actively Maintained |
ROSMonitoring is a framework developed for verifying at runtime the messages exchanged in a ROS system.