Modular Verification of Computer Communication . . Protocols

@inproceedings{Owicki2000ModularVO,
  title={Modular Verification of Computer Communication . . Protocols},
  author={Susan S. Owicki},
  year={2000}
}
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 unmanageably.as the size of the… CONTINUE READING
Highly Cited
This paper has 19 citations. REVIEW CITATIONS

References

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

pp

  • 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…