TIC164 - Informeshttps://hdl.handle.net/10481/137292024-03-28T14:40:12Z2024-03-28T14:40:12ZInstallation process and main functionalities of the Spin model checkerHornos Barranco, Miguel JuanAugusto, Juan Carloshttps://hdl.handle.net/10481/196012021-06-29T07:28:49ZInstallation 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.