Mostrar el registro sencillo del ítem

Installation process and main functionalities of the Spin model checker

dc.contributor.authorHornos Barranco, Miguel Juan 
dc.contributor.authorAugusto, Juan Carlos
dc.date.accessioned2012-02-22T11:27:40Z
dc.date.available2012-02-22T11:27:40Z
dc.date.issued2012-02-22
dc.identifier.urihttp://hdl.handle.net/10481/19601
dc.description.abstractThis 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.en_US
dc.description.sponsorshipGrupo de investigación MYDASS (Modelling & Development of Advanced Software Systems), TIC-230. Departamento de Lenguajes y Sistemas Informáticos (Universidad de Granada).en_US
dc.language.isoengen_US
dc.rightsCreative Commons Attribution-NonCommercial-NoDerivs 3.0 License
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/
dc.subjectModel Checkingen_US
dc.subjectSpinen_US
dc.subjectiSpinen_US
dc.subjectInstallationen_US
dc.subjectSimulationen_US
dc.subjectVerificationen_US
dc.titleInstallation process and main functionalities of the Spin model checkeren_US
dc.typeinfo:eu-repo/semantics/reporten_US
dc.rights.accessRightsinfo:eu-repo/semantics/openAccessen_US


Ficheros en el ítem

[PDF]
Nombre:
Installation process and main ...
Tamaño:
1003.Kb
Formato:
PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem

Creative Commons Attribution-NonCommercial-NoDerivs 3.0 License
Excepto si se señala otra cosa, la licencia del ítem se describe como Creative Commons Attribution-NonCommercial-NoDerivs 3.0 License