Modular Verification of Computer Communication . . Protocols

  title={Modular Verification of Computer Communication . . Protocols},
  author={Susan S. Owicki},
Programs that implement computer communications protocols can exhibit extremely complicated behavior, and neither informal reasoning nor testing is reliable enough to establish their correctness: In this paper we discuss the application of modular program verification techniques to protocols. This approach is more reliable than informal reasoning, but has an advantage over formal reasoning based op finite-state models: the complexity of the proof need not grow the size of the… CONTINUE READING
Highly Cited
This paper has 19 citations. REVIEW CITATIONS


Publications referenced by this paper.
Showing 1-5 of 5 references

She is an affiliate member of the lEEE Computer Society

  • Phi Eta Sigma, Tau Beta Pi
  • From June 1979 to June 1982, she was a member of…
  • 1982


  • RI Providence, Oct.
  • 46-57, -. "A temporal
  • 1977

Hailpern (S'EO-M'EO) was born in Denver, CO, on January 1 I

  • T. Brent
  • He received the B.S . degree in mathematics from…
  • 1955

Similar Papers

Loading similar papers…