# Automatically verifying reachability and well-formedness in P4 Networks

> Research article (2016) · cited 35× · AI/ML

**Wikidata**: [openalex:W2521536125](https://www.wikidata.org/wiki/openalex:W2521536125)  
**Source**: https://4ort.xyz/entity/automatically-verifying-reachability-and-well-formedness-in-p4-networks