Network verification is a rapidly emerging technology that is a key part of digital twin technology. Full feature verification solutions require an underlying mathematical model of network behavior to analyze and reason about policy objectives and network designs.