P4Inv: Inferring Packet Invariants for Verification of Stateful P4 Programs.

Delong Zhang Chong Ye Fei He

Published in: INFOCOM (2024)

Keyphrases

imperative programs
symbolic execution
model checking
hardware designs
affine invariant
packet loss
multiscale
face verification
formal verification
computer programs
moment invariants
asynchronous circuits
answer sets
java bytecode
temporal logic
functional verification
neural network