Re: protocol verification

Edward R. Kozel (
Tue, 9 Feb 88 11:05:21 PST

        I could not agree more with you. Validation of a protocol
based on the formal specification is certainly fundamental but does
not ensure either proper operation or interoperability. As another
observation, I know of one officially validated DDN X.25
implementation which broke when put into actual operation, yet it
passed the DCA protocol tests. "Bake offs", while perhaps colloquial,
serve a very useful and important function.

Ed Kozel

This archive was generated by hypermail 2.0b3 on Thu Mar 09 2000 - 14:40:42 GMT