Login | Register

Comparison of SPIN and VIS for protocol verification

Title:

Comparison of SPIN and VIS for protocol verification

Peng, Hong, Tahar, Sofiène and Khendek, Ferhat (2003) Comparison of SPIN and VIS for protocol verification. International Journal on Software Tools for Technology Transfer (STTT), 4 (2). pp. 234-245. ISSN 1433-2779

[img]
Preview
Text (application/pdf)
STTT-2003-2.pdf - Accepted Version
219kB

Official URL: http://dx.doi.org/10.1007/s100090200073

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.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Electrical and Computer Engineering
Item Type:Article
Refereed:Yes
Authors:Peng, Hong and Tahar, Sofiène and Khendek, Ferhat
Journal or Publication:International Journal on Software Tools for Technology Transfer (STTT)
Date:2003
Digital Object Identifier (DOI):10.1007/s100090200073
Keywords:SPIN – VIS – Model checking – Formal verification – Protocols
ID Code:977384
Deposited By: DANIELLE DENNIE
Deposited On:14 Jun 2013 16:11
Last Modified:18 Jan 2018 17:44
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top