NV: an intermediate language for verification of network control planes.

Nick Giannarakis Devon Loehr Ryan Beckett David Walker

Published in: PLDI (2020)

Keyphrases

control system
programming language
distributed control
peer to peer
model checking
control structures
network structure
control method
three dimensional
bayesian networks
mobile robot
logic programs
network resources
control theory
asynchronous circuits