Formal Methods Tools

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.