Reverse protocol verification: Concept, algorithm and application

Chung Ming Huang, Ye In Chang, Duen Tay Huang

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


To verify the logical correctness of communication protocols, protocol verification should be invoked in the design phase. In this paper, we propose a new communicating finite state machine (CFSM)-based verification method, which is called reverse protocol verification. By analyzing the properties of deadlock error, unspecified reception error and channel overflow error, 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, which can connect to the original initial global state. If there is a path, then the candidate global state is really an erroneous global state and the protocol under designing does have some logical errors; alternatively, if there is no candidate global state or none of the candidate global states has a path, then the protocol is error free. Based on the reverse method, an incremental protocol specification system (IPSS) has been developed on SUN SPARC workstations. Usage and applications of IPSS are also presented in this paper.

Original languageEnglish
Pages (from-to)X5-524
JournalComputer Journal
Issue number6
Publication statusPublished - 1996

All Science Journal Classification (ASJC) codes

  • Computer Science(all)


Dive into the research topics of 'Reverse protocol verification: Concept, algorithm and application'. Together they form a unique fingerprint.

Cite this