Extending The Limits Of Formal Methods In Network Operations