General technique for communications protocol validation
IBM Journal of Research and Development
Automated validation of a communications protocol: the CCITT X.21 recommendation
IBM Journal of Research and Development
Verification Technology Transfer
25 Years of Model Checking
Some notes on the history of protocol engineering
Computer Networks: The International Journal of Computer and Telecommunications Networking
Hi-index | 14.98 |
For several years the authors have been part of an effort developing automated techniques for examining the syntax of protocols for the absence of various errors. Recently, we have turned our attention to trying to prove various functional properties of protocols used in ring-topology systems. Ring systems have a number of properties that distinguish them from the more general computer networks towards which our earlier validation work was directed. We report here on the resulting changes in the protocol models and validation techniques, together with extensions used to prove that the protocol being examined has the various desirable functional properties demanded of it.