Correctness of Communications Protocols, A case Study

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.