2 results found Sort:

ros-drivers
transport_drivers ros-drivers
69
97
apache-2.0
12
A set of ROS2 drivers for transport-layer protocols.
ros2 transport-layer transport-layer-protocol
Created 2019-08-12
91 commits to main branch, last one about a year ago
ElNiak
PANTHER ElNiak
3
35
mit
2
This tool presents a novel approach to bolstering network protocol verification by integrating the Shadow network simulator with the Ivy formal verification tool to check time properties. Furthermore,...
cve ivy quic tests docker testing protocol time-proof cybersecurity testing-tools docker-compose formal-methods protocol-tester test-automation network-analysis network-security network-simulator formal-verification reproducible-research transport-layer-protocol
Created 2021-11-09
471 commits to production branch, last one 3 months ago