The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - March (1988 vol.14)
pp: 327-338
ABSTRACT
<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>
INDEX TERMS
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
CITATION
C.H. Chow, S.S. Lam, "PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols", IEEE Transactions on Software Engineering, vol.14, no. 3, pp. 327-338, March 1988, doi:10.1109/32.4653
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool