# Software dataplane verification

> Research article (Communications of the ACM, 2015) · cited 41× · AI/ML

**Wikidata**: [openalex:W2054075353](https://www.wikidata.org/wiki/openalex:W2054075353)  
**Source**: https://4ort.xyz/entity/software-dataplane-verification