A set of ROS2 drivers for transport-layer protocols.
-
Updated
May 24, 2024 - C++
A set of ROS2 drivers for transport-layer protocols.
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, it extends Ivy’s capabilities with a dedicated time module, enabling the verification of complex quantitative-time properties.
A Reliable application layer built over the unreliable UDP, using two different algorithms: Stop And Wait (rdt 3.0) and Go Back N.
Some interesting short projects developed as a part of Operating Systems and Networks courses at IIT KGP including: P2P Chat, Transport Layer Protocol and linux shell
Source code for 5G MPTCP Transport Converter
Universidade do Minho - 3º Ano
Códigos usados para auxiliar na monitoria de Redes de computadores
An implementation of UDP whose aim is to reliably and securely send packets
rdt3.0 : Reliable Data Transfer. A transport layer protocol that form the basis of TCP
Add a description, image, and links to the transport-layer-protocol topic page so that developers can more easily learn about it.
To associate your repository with the transport-layer-protocol topic, visit your repo's landing page and select "manage topics."