Correctness Proof for the Alternating Bit Protocol by Assertion Systems
暂无分享,去创建一个
The net representation of the alternating bit protocol given in newsletter 7 of the special interest group on Petri nets and related system models (Feb. 1981) is proved “correct” by using assertion systems.
[1] Horst Müller. Reachability Analysis with Assertion Systems , 1981, Theoretical Computer Science.