Network verification in the light of program verification (0)

by N Lopes, N Bjørner, P Godefroid, G Varghese