Low-fat recipes for spin

Theo C. Ruys*

*Corresponding author for this work

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

    9 Citations (Scopus)

    Abstract

    Since the introduction of the first version of the model checker SPIN in 1991, many papers have been written on improvements to the tool and on industrial applications of the tool. Less attention has been given to the pragmatic use of SPIN. This paper presents several techniques to optimise both the modelling and verification activities when using SPIN.

    Original languageEnglish
    Title of host publicationSPIN Model Checking and Software Verification
    Subtitle of host publication7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
    EditorsKlaus Havelund, John Penix, Willem Visser
    PublisherSpringer
    Pages287-321
    Number of pages35
    ISBN (Electronic)978-3-540-45297-3
    ISBN (Print)978-3-540-41030-0
    DOIs
    Publication statusPublished - 2000
    Event7th International SPIN Workshop on Model Checking and Software Verification 2000 - Stanford, United States
    Duration: 30 Aug 20001 Sep 2000
    Conference number: 7

    Publication series

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

    Conference

    Conference7th International SPIN Workshop on Model Checking and Software Verification 2000
    Country/TerritoryUnited States
    CityStanford
    Period30/08/001/09/00

    Fingerprint

    Dive into the research topics of 'Low-fat recipes for spin'. Together they form a unique fingerprint.

    Cite this