@misc{10481/19601,
year = {2012},
month = {2},
url = {http://hdl.handle.net/10481/19601},
abstract = {This document explains how to download and install all the software needed to properly run the Spin model checker and its user-friendly graphical user interface, called iSpin. It also offers a short tutorial which presents the main functionalities of Spin and explains briefly some basic concepts which are important to be able to use Spin through iSpin.},
organization = {Grupo de investigación MYDASS (Modelling & Development of Advanced Software Systems), TIC-230. 
Departamento de Lenguajes y Sistemas Informáticos (Universidad de Granada).},
keywords = {Model Checking},
keywords = {Spin},
keywords = {iSpin},
keywords = {Installation},
keywords = {Simulation},
keywords = {Verification},
title = {Installation process and main functionalities of the Spin model checker},
author = {Hornos Barranco, Miguel Juan and Augusto, Juan Carlos},
}