SPIN Tutorial: How to Become a SPIN Doctor

T.C. Ruys, D. Bosnacki (Editor), S. Leue (Editor)

    Research output: Contribution to conferencePaper

    3 Citations (Scopus)
    55 Downloads (Pure)

    Abstract

    SPIN is a model checker for the verification of software systems. SPIN uses a high level language called PROMELA to specify systems descriptions. The goal of this tutorial is to introduce novice users to both PROMELA and SPIN. The tutorial itself is divided into two parts. The BASIC SPIN part is targeted towards novice users of SPIN. The ADVANCED SPIN< part of the tutorial could also be of considerable interest to intermediate SPIN users.
    Original languageUndefined
    Pages6-13
    Number of pages8
    Publication statusPublished - 2002
    Event9th International SPIN Workshop on Model Checking Software 2002 - Grenoble, France
    Duration: 11 Apr 200213 Apr 2002
    Conference number: 9

    Workshop

    Workshop9th International SPIN Workshop on Model Checking Software 2002
    CountryFrance
    CityGrenoble
    Period11/04/0213/04/02

    Keywords

    • FMT-MC: MODEL CHECKING
    • IR-66284
    • EWI-6529

    Cite this

    Ruys, T. C., Bosnacki, D. (Ed.), & Leue, S. (Ed.) (2002). SPIN Tutorial: How to Become a SPIN Doctor. 6-13. Paper presented at 9th International SPIN Workshop on Model Checking Software 2002, Grenoble, France.