Computational Verification of Network Programs for Several OpenFlow Switches in Coq.

Hiroaki Date Noriaki Yoshiura

Published in: ICCSA (2) (2016)

Keyphrases

formal methods
network model
model checking
complex networks
network traffic
symbolic execution
network structure
hardware designs
neural network
artificial intelligence
wireless sensor networks
theorem prover
data flow
formal verification