TY  - RPRT
TI  - Protocols to Code: Formal Verification of a Next-Generation Internet Router
AU  - João C. Pereira
AU  - Tobias Klenze
AU  - Sofia Giampietro
AU  - Markus Limbeck
AU  - Dionysios Spiliopoulos
AU  - Felix A. Wolf
AU  - Marco Eilers
AU  - Christoph Sprenger
AU  - David Basin
AU  - Peter Müller
AU  - Adrian Perrig
PY  - 2024
UR  - https://arxiv.org/abs/2405.06074
ID  - 2405.06074
ER  -