Tools for Verifying Network Protocols

This publication has 30 references indexed in Scilit:

• Automatic verification of finite state concurrent system using temporal logic specifications
  Published by Association for Computing Machinery (ACM) ,1983
• Protocol Representation with Finite State Models
  Published by Springer Nature ,1982
• Verifying Concurrent Processes Using Temporal Logic
  Published by Springer Nature ,1982
• Formal Methods in Communication Protocol Design
  IEEE Transactions on Communications, 1980
• A General Transition Model for Protocols and Communication Services
  IEEE Transactions on Communications, 1980
• Modeling communications protocols by automata
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1979
• Abstract data types and software validation
  Communications of the ACM, 1978
• Distributed processes
  Communications of the ACM, 1978
• A note on reliable full-duplex transmission over half-duplex links
  Communications of the ACM, 1969
• Assigning meanings to programs
  Published by American Mathematical Society (AMS) ,1967