Verification of test cases for protocol conformance testing