Align router code with formal verification tooling
SCION-router-codealignment
SCION-router-codealignment
Not available yet
Not available yet
https://nlnet.nl/contact/
Not available yet
Not available yet
Country: Switzerland
NGI Project: NGI zero core
Status: Early research demo
Category: Network infrastructure (including routing, peer-to-peer and virtual private networking)