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

An implementation of UDP whose aim is to reliably and securely send packets

Source code for 5G MPTCP Transport Converter

Universidade do Minho - 3º Ano

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

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