Abstract.
In this paper, we compare and contrast SPIN and VIS, two widely used formal verification tools. In particular, we devote special attention to the efficiency of these tools for the verification of communications protocols that can be implemented either in software or hardware. As a basis of our comparison, we formally describe and verify the Asynchronous Transfer Mode Ring (ATMR) medium access protocol using SPIN and its hardware model using VIS. We believe that this study is of particular interest as more and more protocols, like ATM protocols, are implemented in hardware to match high-speed requirements.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Published online: 1 March 2002
Rights and permissions
About this article
Cite this article
Peng, H., Tahar, S. & Khendek, F. Comparison of SPIN and VIS for protocol verification . STTT 4, 234–245 (2003). https://doi.org/10.1007/s100090200073
Issue Date:
DOI: https://doi.org/10.1007/s100090200073