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

A new protocol performing close to the UDP.

Códigos usados para auxiliar na monitoria de Redes de computadores

Universidade do Minho - 3º Ano

Source code for 5G MPTCP Transport Converter

rdt3.0 : Reliable Data Transfer. A transport layer protocol that form the basis of TCP