Runtime Verification for Programmable Switches

Apoorv Shukla, Kevin Nico Hudemann, Zsolt Vági, Lily Hügerich, Georgios Smaragdakis, Artur Hecker, Stefan Schmid 0001, Anja Feldmann. Runtime Verification for Programmable Switches. IEEE/ACM Trans. Netw., 31(4):1822-1837, August 2023. [doi]

Abstract

Abstract is missing.