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
Preview |
Text (application/pdf)
219kBSTTT-2003-2.pdf - Accepted Version |
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 |
Repository Staff Only: item control page
Download Statistics
Download Statistics