Protocols to Code: Formal Verification of a Next-Generation Internet Router.
João C. PereiraTobias KlenzeSofia GiampietroMarkus LimbeckDionysios SpiliopoulosFelix A. WolfMarco EilersChristoph SprengerDavid A. BasinPeter MüllerAdrian PerrigPublished in: CoRR (2024)