This thesis is concerned with verifying the correctness of human designed test cases for determining the conformance of protocol implementation with its formal specification.