Universidad de Granada Digibug
 

Repositorio Institucional de la Universidad de Granada >
1.-Investigación >
Departamentos, Grupos de Investigación e Institutos >
Grupo: GEDES. Especificación, Desarrollo y Evolución de Software (TIC164) >
TIC164 - Informes >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10481/19601

Title: Installation process and main functionalities of the Spin model checker
Authors: Hornos Barranco, Miguel J.
Augusto, Juan Carlos
Issue Date: 22-Feb-2012
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.
Sponsorship: 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
Spin
iSpin
Installation
Simulation
Verification
URI: http://hdl.handle.net/10481/19601
Rights : Creative Commons Attribution-NonCommercial-NoDerivs 3.0 License
Appears in Collections:TIC230 - Informes
TIC164 - Informes

Files in This Item:

File Description SizeFormat
Installation process and main functionalities of the Spin model checker.pdf1 MBAdobe PDFView/Open
Recommend this item

This item is licensed under a Creative Commons License
Creative Commons

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! OpenAire compliant DSpace Software Copyright © 2002-2007 MIT and Hewlett-Packard - Feedback

© Universidad de Granada