Mushroom: a program for the automated verification of an SCM protocol specification
MetadataShow full item record
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.
The article of record as published may be found at http://dx.doi.org/10.1109/CNP.1993.340910
RightsThis 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.
Showing items related by title, author, creator and subject.
Shick, BethAnn. (Monterey, California. Naval Postgraduate School, 2007);The Joint Strike Fighter (JSF) program is the largest Department of Defense (DoD) military aircraft acquisition program to date. The JSF will serve the Air Force, Navy and Marine Corps, as well as many of our key ...
Bulbul, Zeki Bulent (Monterey, California: Naval Postgraduate School, 1993);This thesis introduces and describes a software tool called Mushroom which automates the analysis of network protocols specified by the Systems of Communicating Machines (SCM) and the Communicating Finite State Machines ...
Strange, John B., Jr. (Monterey, CA; Naval Postgraduate School, 2020);The purpose of this study is to analyze the effectiveness of the learning methods and training techniques in the High Performer Track (HPT) program for possible replication at other formal schools and fleet units. This ...