In this paper, we propose a verification method, which is called the reverse protocol verification, for incremental protocol specification. By analyzing the properties of logical errors, some candidate erroneous global states are generated. Then, each candidate global state is checked whether there is a path i.e., a global state sequence, connects to the original initial global state. If there is a path, then the candidate global state is really an erroneous global state and the incrementally specified protocol does have some logical errors. Otherwise, if there is no candidate global state or none of the candidate global state has a path, then the incrementally specified protocol is error free.