Publication
Computer Networks and ISDN Systems
Paper

A validation of the OSI session layer protocol

View publication

Abstract

The session layer of the ISO Open-System-Interconnection (OSI) Protocol has been validated using an automated state-exploration technique. The validation methodology is described, together with the particular way it has been applied to the session layer. A number of the protocol errors found is presented. © 1986.

Date

Publication

Computer Networks and ISDN Systems

Authors

Share