Introduction to SPIN

    Research output: Book/ReportCompendium/lecture notes

    Abstract

    In this note we introduce the SPIN model checker for verification of concurrent programs.
    Original languageEnglish
    Publication statusPublished - 2006
    EventConcurrent Systems -
    Duration: 1 Jan 2006 → …
    Conference number: 02152

    Course

    CourseConcurrent Systems
    Number02152
    Period01/01/2006 → …

    Fingerprint Dive into the research topics of 'Introduction to SPIN'. Together they form a unique fingerprint.

    Cite this