Algorithms for Automated Protocol Verification

2 January 1990

journal article
website
Published by Institute of Electrical and Electronics Engineers (IEEE) in AT&T Technical Journal

Vol. 69 (1) , 32-44
https://doi.org/10.1002/j.1538-7305.1990.tb00101.x

Abstract

This paper studies the four basic types of algorithm that, over the last 10 years, have been developed for the automated verification of the logical consistency of data communication protocols. The algorithms are compared on memory usage, CPU time re...

This publication has 9 references indexed in Scilit:

Protocol validation in complex systems
Published by Association for Computing Machinery (ACM) ,1989
An improved protocol reachability analysis technique
Software: Practice and Experience, 1988
An acyclic expansion algorithm for fast protocol validation
IEEE Transactions on Software Engineering, 1988
Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching
IEEE Transactions on Software Engineering, 1987
Tracing Protocols
AT&T Technical Journal, 1985
Protocol Verification via Projections
IEEE Transactions on Software Engineering, 1984
A Theory for Protocol Validation
IEEE Transactions on Computers, 1982
General Technique for Communications Protocol Validation
IBM Journal of Research and Development, 1978
Scatter storage techniques
Communications of the ACM, 1968