What is svROS
The Security Verification in ROS (svROS) tool concerns a technique, based on the software verification perspective, to automatically verify system-wide properties related to the security configuration of ROS2-based applications.
Network Architecture
Made by lmr