Verification for computer networking: Is it possible? : vima