Designing bug-free protocols with SPIN

@article{Holzmann1997DesigningBP,
  title={Designing bug-free protocols with SPIN},
  author={Gerard J. Holzmann},
  journal={Comput. Commun.},
  year={1997},
  volume={20},
  pages={97-105}
}
  • 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