Issue No. 03 - March (1988 vol. 14)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.4653
<p>The PROSPEC software environment for designing and verifying communication protocols is described. It integrates several tools that implement methods for protocol verification and construction (i.e., fair reachability analysis, multiphase construction, and protocol projection). The system provides a unified graphical interface to facilitate the application of these methods and creates an interactive environment for specifying, verifying, and designing communication protocols. PROSPEC was used successfully to design and verify versions of BSC, X.21, X.25, and Telnet document transfer protocols.</p>
communication protocols verification; specification; PROSPEC; interactive programming environment; fair reachability analysis; multiphase construction; protocol projection; graphical interface; BSC; X.21; X.25; Telnet document transfer protocols; interactive programming; programming environments; protocols; software tools
C. Chow and S. Lam, "PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols," in IEEE Transactions on Software Engineering, vol. 14, no. , pp. 327-338, 1988.