GitHub / ElNiak / PFV

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.

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ElNiak%2FPFV

Topics: bgp, coap, docker, docker-compose, formal-methods, formal-verification, ivy, protocol, protocol-tester, quic, test-automation, testing, testing-tools, tests, transport-layer-protocol

Files

No dependencies found