Probabilistic Verification of Communication Protocols
01 January 1987
A novel procedure for protocol verification which does a partial exploration of the protocol behavior is presented here. It checks the most probable sections of the global FSM. Some of the ideas in this procedure are based on a convolutional decoding procedure due to Jelink.