Advanced SPIN Tutorial

T.C. Ruys, S. Graf (Editor), G.J. Holzmann, L. Mounier (Editor)

    Research output: Contribution to conferencePaper

    71 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 languageUndefined
    Pages304-305
    Number of pages2
    DOIs
    Publication statusPublished - 2004
    Event11th International SPIN Workshop on Model Checking Software 2004 - Barcelona, Spain
    Duration: 1 Jan 20041 Jan 2004
    Conference number: 11

    Workshop

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

    Keywords

    • FMT-MC: MODEL CHECKING
    • IR-66292
    • EWI-6553

    Cite this