IEEE - Institute of Electrical and Electronics Engineers, Inc. - An ECFSM-based maximal progress protocol verification

Proceedings of TENCON '93. IEEE Region 10 International Conference on Computers, Communications and Automation

Author(s): Chung-Ming Huang ; Jenq-Muh Hsu
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1993
Conference Location: Beijing, China, China
Conference Date: 19 October 1993
Volume: 1
Page Count: 4
ISBN (Paper): 0-7803-1233-3
DOI: 10.1109/TENCON.1993.320042
Regular:

A number of protocol verification reduction techniques were proposed in the past. Most of these techniques are suitable for verifying communicating protocols specified in the Communicating Finite... View More

Advertisement