Designing bug-free protocols with SPIN

  title={Designing bug-free protocols with SPIN},
  author={Gerard J. Holzmann},
  journal={Comput. Commun.},
  • Gerard J. Holzmann
  • Published in Comput. Commun. 1997
  • Computer Science
  • SPIN is an efficient, automated verification tool that can be used to design robust software for distributed systems in general, and bug-free communications protocols in particular. This paper outlines the use of the tool to address protocol design problems. As an example we consider the verification of a published protocol for implementing synchronous rendezvous operations in a distributed system. We also briefly review some of the techniques that SPIN employs to address the computational… CONTINUE READING

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv