https://hdl.handle.net/10481/20440 2026-04-20T07:38:15Z 2026-04-20T07:38:15Z Hornos Barranco, Miguel Juan Augusto, Juan Carlos https://hdl.handle.net/10481/19601 2021-06-29T07:28:49Z

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.