Cisco’s announcement embracing mathematical verification as a method for assuring network intent serves as a proof-point that formal network verification is becoming a mainstream.
