Mushroom: a program for the automated verification of an SCM protocol specification
Loading...
Authors
Lundy, G.M.
Bulbul, B.
Subjects
Advisors
Date of Issue
1993-10
Date
Publisher
IEEE
Language
Abstract
Systems of Communicating Machines (SCM) is a formal model for the specification, verification and
testing of communication protocols, which has been used to specify and verify several well-known
protocols. In this paper we discuss a program, called mushroom, which automates the analysis using
the SCM model. The program generates either the system state analysis or the full reachability
analysis. The automation of this model is expected to greatly facilitate the use of the model for
protocol design and analysis. The program has been used to verify some theoretical results, serving
to confirm these earlier results.
Type
Conference Paper
Description
The article of record as published may be found at http://dx.doi.org/10.1109/CNP.1993.340910
Series/Report No
Department
Computer Science (CS)
Organization
Naval Postgraduate School (U.S.)
Identifiers
NPS Report Number
Sponsors
Funder
Format
8 p.
Citation
G.M. Lundy, B. Bulbul, "Mushroom: a program for the automated verification of an SCM protocol specification," 1993 International Conference on Network Protocols, October 19-22, 1993, pp. 272-279.
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.