Modeling and verifying a broad array of network properties

Modeling and verifying a broad array of network properties