TIC164 - Informes https://hdl.handle.net/10481/13729 2026-04-14T17:50:27Z Installation process and main functionalities of the Spin model checker https://hdl.handle.net/10481/19601 Installation process and main functionalities of the Spin model checker Hornos Barranco, Miguel Juan; Augusto, Juan Carlos 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.