nets-cs-pub-ro/Vera

P4 verifier using symbolic execution.