Seeking Truth in Networking: From Testing To Verification

Sharp network admins already verify the network in a variety of ways, right?…