SCION-router-codealignment

Align router code with formal verification tooling
Is freely licensed? ✅
Website https://www.pm.inf.ethz.ch/research/verifiedscion.html
NLNet grant pages