Experiences with Protocol Description

  title={Experiences with Protocol Description},
  author={Pamela Zave},
This paper presents three conclusions about the description of protocols, based on extensive experience: (1) Informal methods are inadequate for widely used protocols. (2) Lightweight formal methods are easy and useful. (3) Informal natural language cannot be trusted, but natural-language paraphrases of formal language can be trusted for certain purposes. None of these conclusions will be new or surprising to participants in this workshop. The purpose of this paper is to provide new, specific… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-4 of 4 extracted citations

Applying Formal Methods to Networking: Theory, Techniques, and Applications

IEEE Communications Surveys & Tutorials • 2015
View 5 Excerpts
Highly Influenced

Towards a rigorous analysis of AODVv2 (DYMO)

2012 20th IEEE International Conference on Network Protocols (ICNP) • 2012
View 1 Excerpt

Using lightweight modeling to understand chord

Computer Communication Review • 2012
View 2 Excerpts


Publications referenced by this paper.
Showing 1-10 of 23 references

Why the Chord ring-maintenance protocol is not correct (Extended Abstract)

P. Zave
AT&T Research, Tech. Rep., March 2011. • 2011
View 2 Excerpts

Counterexamples to correctness of the Chord ring-maintenance protocol

P. Zave
AT&T Research, Tech. Rep., June 2010. • 2010
View 1 Excerpt

Similar Papers

Loading similar papers…