IEEE Transactions on Software Engineering - Special issue on COMPSAC 1982 and 1983
Proving liveness for networks of communicating finite state machines
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Mechanical verification and automatic implementation of communication protocols
IEEE Transactions on Software Engineering
Models and algorithms for the design of store-and-forward communication networks
Models and algorithms for the design of store-and-forward communication networks
Spanner: A Tool for the Specification, Analysis, and Evaluation of Protocols
IEEE Transactions on Software Engineering
A discipline for constructing multiphase communication protocols
ACM Transactions on Computer Systems (TOCS)
On Communicating Finite-State Machines
Journal of the ACM (JACM)
An HDLC protocol specification and its verification using image protocols
ACM Transactions on Computer Systems (TOCS)
A note on reliable full-duplex transmission over half-duplex links
Communications of the ACM
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Modeling X.25 Using the Graph Model of Behavior
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
A decomposition method for the analysis and design of finite state protocols
SIGCOMM '83 Proceedings of the eighth symposium on Data communications
An exercise in constructing multi-phase communication protocols
SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
Protocol Conversion
A discipline for verification and modular construction of communication protocols (design methodology, tool)
A high level language for specifying graph based languages and their programming environments
ICSE '93 Proceedings of the 15th international conference on Software Engineering
| Hi-index | 0.00 |
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.