Accession Number:

ADA102251

Title:

Formal Specification and Verification of a Connection-Establishment Protocol.

Descriptive Note:

Research rept.,

Corporate Author:

UNIVERSITY OF SOUTHERN CALIFORNIA MARINA DEL REY INFORMATION SCIENCES INST

Personal Author(s):

Report Date:

1981-04-01

Pagination or Media Count:

49.0

Abstract:

A specification language named SPEX, tailored to the needs of communications protocols, is proposed, and its relation to a semi-automated verification system, Affirm, is discussed. This language is then used to specify a connection protocol currently being used. Certain errors are uncovered by analysis using the verification system. However, the major portion of the protocols operation is shown to be correct. Author

Subject Categories:

  • Computer Programming and Software
  • Computer Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE