Protocol validation in complex systems

This publication has 10 references indexed in Scilit:

• Program verification: the very idea
  Communications of the ACM, 1988
• Format and protocol language (FAPL)
  Computer Networks and ISDN Systems, 1987
• Protocol verification using reachability analysis: the state space explosion problem and relief strategies
  ACM SIGCOMM Computer Communication Review, 1987
• A validation of the OSI session layer protocol
  Computer Networks and ISDN Systems, 1986
• Automated verification of connection management of NBS class 4 transport protocol
  Published by Association for Computing Machinery (ACM) ,1984
• Protocol Validation by Maximal Progress State Exploration
  IEEE Transactions on Communications, 1984
• On Communicating Finite-State Machines
  Journal of the ACM, 1983
• Executable Representation and Validation of SNA
  Published by Springer Nature ,1982
• General Technique for Communications Protocol Validation
  IBM Journal of Research and Development, 1978
• Automated Validation of a Communications Protocol: the CCITT X.21 Recommendation
  IBM Journal of Research and Development, 1978