State-transition-based incremental protocol specification

Chung Ming Huang, Ye In Chang, Duen Tay Huang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)


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.

Original languageEnglish
Title of host publicationProceedings - ACM Computer Science Conference
EditorsDawn Cizmar
PublisherPubl by ACM
Number of pages8
ISBN (Print)0897916344
Publication statusPublished - 1994 Jan 1
EventProceedings of the 22nd Annual ACM Computer Science Conference - Phoenix, AZ, USA
Duration: 1994 Mar 81994 Mar 10

Publication series

NameProceedings - ACM Computer Science Conference


OtherProceedings of the 22nd Annual ACM Computer Science Conference
CityPhoenix, AZ, USA

All Science Journal Classification (ASJC) codes

  • Hardware and Architecture


Dive into the research topics of 'State-transition-based incremental protocol specification'. Together they form a unique fingerprint.

Cite this