Comments on 'The Model Checker SPIN'
IEEE Transactions on Software Engineering
p2b: a translation utility for linking promela and symbolic model checking (tool paper)
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Model Checking: A Tutorial Overview
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Hi-index | 0.00 |
Spin and NuSMV are the two most widely-used model checkers. Because they have different characters, it makes sense to have a translator from Spin models to NuSMV models. In this paper we describe a tool named S2N which builds a bridge from Spin to NuSMV. With S2N users could choose the appropriate ways as needed to build and check their models.This work can also be thought as a study on the model transformation.