NV: An intermediate language for network verification.

Ryan Beckett Nick Giannarakis Devon Loehr David Walker

Published in: NetPL@SIGCOMM (2019)

Keyphrases

peer to peer
programming language
network model
natural language
real time
network structure
language processing
language learning
network traffic
complex networks
database
wireless sensor networks
model checking
information systems
network management
databases
network design
network parameters