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.
testing docker docker-compose reproducible-research protocol test-automation tests cybersecurity testing-tools ivy formal-methods quic cve network-analysis protocol-tester formal-verification network-simulator network-security transport-layer-protocol time-proof
-
Updated
Sep 3, 2026 - Python