Verification of P4 programs in feasible time using assertions.

Miguel C. Neves Lucas Freire Alberto E. Schaeffer Filho Marinho P. Barcellos

Published in: CoNEXT (2018)

Keyphrases

symbolic execution
knowledge base
hardware designs
model checking
formal verification
artificial intelligence
computer vision
verification method
functional verification
data sets
real world
java bytecode