Gregor V. Bochmann, Dave Rayner, et al.
Computer Networks
Paper
A validation of the OSI session layer protocol
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.