Verified-SCION-router

Formal verification of the reference open source SCION Router
Is freely licensed? ✅
Website https://www.pm.inf.ethz.ch/research/verifiedscion.html
NLNet grant pages