<rdf:RDF xmlns:rdf="http://www.openarchives.org/OAI/2.0/rdf/" xmlns:ow="http://www.ontoweb.org/ontology/1#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:ds="http://dspace.org/ds/elements/1.1/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:doc="http://www.lyncode.com/xoai" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/rdf/ http://www.openarchives.org/OAI/2.0/rdf.xsd">
   <ow:Publication rdf:about="oai:digibug.ugr.es:10481/19601">
      <dc:title>Installation process and main functionalities of the Spin model checker</dc:title>
      <dc:creator>Hornos Barranco, Miguel Juan</dc:creator>
      <dc:creator>Augusto, Juan Carlos</dc:creator>
      <dc:subject>Model Checking</dc:subject>
      <dc:subject>Spin</dc:subject>
      <dc:subject>iSpin</dc:subject>
      <dc:subject>Installation</dc:subject>
      <dc:subject>Simulation</dc:subject>
      <dc:subject>Verification</dc:subject>
      <dc:description>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.</dc:description>
      <dc:date>2012-02-22T11:27:40Z</dc:date>
      <dc:date>2012-02-22T11:27:40Z</dc:date>
      <dc:date>2012-02-22</dc:date>
      <dc:type>info:eu-repo/semantics/report</dc:type>
      <dc:identifier>http://hdl.handle.net/10481/19601</dc:identifier>
      <dc:language>eng</dc:language>
      <dc:rights>http://creativecommons.org/licenses/by-nc-nd/3.0/</dc:rights>
      <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
      <dc:rights>Creative Commons Attribution-NonCommercial-NoDerivs 3.0 License</dc:rights>
   </ow:Publication>
</rdf:RDF>