In modern networks, implementations of services and protocols for resource discovery, equipment configuration and network management are complex and error-prone. Implementation bugs in network protocols are hard to detect because they are often triggered by complex sequences of events that occur only after deployment and prolonged operation.

SymNV explores how future networks can exploit runtime verification techniques. The goal is to develop an architecture for runtime verification in networks based on bounded model-checking and symbolic execution of network services.