Software for analytical development of communications protocols

  title={Software for analytical development of communications protocols},
  author={Zvi Har'el and Robert P. Kurshan},
  journal={AT&T Technical Journal},
We describe a way to develop and implement communications protocols so they are logically sound and meet stated requirements. Our methodology employs a software system called the coordination-specification analyzer (COSPAN) to facilitate logical testing (in contrast to simulation or system execution testing). Logical testing of a communications protocol is carried out on a succession of models of the protocol. Starting with a high-level model (e.g., a formal abstraction of a protocol standard… CONTINUE READING
Highly Cited
This paper has 207 citations. REVIEW CITATIONS


Publications citing this paper.

208 Citations

Citations per Year
Semantic Scholar estimates that this publication has 208 citations based on the available data.

See our FAQ for additional information.