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

> Research article (Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 2020) · cited 25× · AI/ML

**Wikidata**: [openalex:W3034033750](https://www.wikidata.org/wiki/openalex:W3034033750)  
**Source**: https://4ort.xyz/entity/nv-an-intermediate-language-for-verification-of-network-control-planes