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
Showing items related by title, author, creator and subject.
Mortlock, Robert (Monterey, California. Naval Postgraduate School, 2017-07); NPS-AM-17-211This Enhanced Combat Helmet (ECH) case study encourages critical analysis of a U.S. Defense Department project at two key decision points: project start and production. The case centers on the development, testing, and ...
Shick, BethAnn. (Monterey, California. Naval Postgraduate School, 2007-12);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-06);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 ...