Title :
Comments, with reply, on "On the projection method for protocol verification" by T.-Y. Cheung
Author_Institution :
NTT Electr. Commun. Lab., Tokyo, Japan
fDate :
3/1/1990 12:00:00 AM
Abstract :
A counterexample to a theorem given in a paper by T.-Y. Cheung (see ibid., vol.12, no.11, p.1088-9, 1986) is given. In a reply, the author of the original paper argues that the counterexample is not correct.<>
Keywords :
program verification; protocols; projection method; protocol verification; theorem; Communication systems; Protocols; Safety; Sufficient conditions;
Journal_Title :
Software Engineering, IEEE Transactions on
