@techreport{TD:100558,
	att_abstract={{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,
and relevant evidence
for these conclusions, in the hopes that researchers can use this
evidence to justify their methods and influence the thinking of
others.}},
	att_authors={pz2728},
	att_categories={},
	att_copyright={{}},
	att_copyright_notice={{}},
	att_donotupload={},
	att_private={false},
	att_projects={},
	att_tags={},
	att_techdoc={true},
	att_techdoc_key={TD:100558},
	att_url={http://web1.research.att.com:81/techdocs_downloads/TD:100558_DS1_2011-06-07T19:15:51.410Z.pdf},
	author={Pamela Zave},
	institution={{Workshop on Rigorous Protocol Engineering}},
	month={October},
	title={{Experiences with protocol description}},
	year=2011,
}