TY - GEN AU - Hornos Barranco, Miguel Juan AU - Augusto, Juan Carlos PY - 2012 UR - http://hdl.handle.net/10481/19601 AB - 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... LA - eng KW - Model Checking KW - Spin KW - iSpin KW - Installation KW - Simulation KW - Verification TI - Installation process and main functionalities of the Spin model checker ER -