Foundational Verification of Stateful P4 Packet Processing.

Qinshi Wang Mengying Pan Shengyi Wang Ryan Doenges Lennart Beringer Andrew W. Appel

Published in: ITP (2023)

Keyphrases

real time
data processing
information systems
information processing
processing capabilities
formal verification
image quality
model checking
application layer
packet switching