Re: protocol verification


Edward R. Kozel (kozel@spam.istc.sri.com)
Tue, 9 Feb 88 11:05:21 PST


Art,
        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