https://hdl.handle.net/10481/20440 Sun, 19 Apr 2026 08:59:21 GMT 2026-04-19T08:59:21Z 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. https://hdl.handle.net/10481/19601