Starred repositories
67
stars
written in Python
Clear filter
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. Furthermo…
Automated tool to formally verify congestion control algorithms and find bugs in them
Lumina is a user-friendly tool to test the correctness and performance of hardware network stacks.
Tentative IETF drafts on schedulers for multipath transport
QUIC interop runner