Advanced SPIN tutorial

Theo C. Ruys, Gerard J. Holzmann

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    9 Citations (Scopus)
    51 Downloads (Pure)

    Abstract

    Spin [9] is a model checker for the verification of distributed systems software. The tool is freely distributed, and often described as one of the most widely used verification systems. The Advanced Spin Tutorial is a sequel to [7] and is targeted towards intermediate to advanced Spin users.
    Original languageEnglish
    Title of host publicationModel checking software
    Subtitle of host publication11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings
    EditorsSusanne Graf, Laurent Mounier
    Place of PublicationBerlin, Heidelberg
    PublisherSpringer
    Pages304-305
    Number of pages2
    ISBN (Electronic)978-3-540-24732-6
    ISBN (Print)978-3-540-21314-7
    DOIs
    Publication statusPublished - 2004
    Event11th International SPIN Workshop on Model Checking Software 2004 - Barcelona, Spain
    Duration: 1 Apr 20043 Apr 2004
    Conference number: 11

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume2989
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Workshop

    Workshop11th International SPIN Workshop on Model Checking Software 2004
    CountrySpain
    CityBarcelona
    Period1/04/043/04/04

    Keywords

    • FMT-MC: MODEL CHECKING

    Cite this