Correctness of Communications Protocols, A case Study

Thumbnail Image
Download
Name

MIT-LCS-TR-589.pdf

Size

29.26 MB

Format

Adobe PDF

Checksum (MD5)

bfb557048f54f22be1d28e1eff77d685

Author(s)
Søgaard-Andersen, Jørgen
•
Lynch, Nancy A.
•
Lampson, Butler W.
Date Issued
November 1993
Series/Report no.
MIT-LCS-TR-589
Abstract
During the past few years, the technology for formal specification and verification of communication protocols has matured to the point where we believe that it now provides practical assistance for protocol design and validation.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.