svROS

svROS

Visualizer.


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
Allowed Connection
Enclave

Made by lmr