Installation process and main functionalities of the Spin model checker

Identificadores
URI: http://hdl.handle.net/10481/19601
Exportar
RISMendeleyBibtex
Estadísticas
Ver Estadísticas de uso
Metadatos
Mostrar el registro completo del ítem
Autor
Hornos Barranco, Miguel Juan; Augusto, Juan Carlos
Materia
Model Checking
 
Spin
 
iSpin
 
Installation
 
Simulation
 
Verification
 
Fecha
2012-02-22
Patrocinador
Grupo de investigación MYDASS (Modelling & Development of Advanced Software Systems), TIC-230. Departamento de Lenguajes y Sistemas Informáticos (Universidad de Granada).
Resumen
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.
Colecciones
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