Verification of P4 programs in feasible time using assertions.

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

Browse the full CoNEXT paper archive.