Runtime Verification for Programmable Switches
Shukla, Apoorv ; Hudemann, Kevin ; Vagi, Zsolt ; Hugerich, Lily ; Smaragdakis, Georgios ; Hecker, Artur ; Schmid, Stefan ; Feldmann, Anja
IEEE/ACM transactions on networking, 2023-08, Vol.31 (4), p.1-16 [Periódico revisado por pares]IEEE
Texto completo disponível