Advanced SPIN Tutorial

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

    Research output: Contribution to conferencePaperAcademicpeer-review

    50 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

    Ruys, T. C., Graf, S. (Ed.), Holzmann, G. J., & Mounier, L. (Ed.) (2004). Advanced SPIN Tutorial. 304-305. Paper presented at 11th International SPIN Workshop on Model Checking Software 2004, Barcelona, Spain. https://doi.org/10.1007/b96721
    Ruys, T.C. ; Graf, S. (Editor) ; Holzmann, G.J. ; Mounier, L. (Editor). / Advanced SPIN Tutorial. Paper presented at 11th International SPIN Workshop on Model Checking Software 2004, Barcelona, Spain.2 p.
    @conference{8eb9986d13384bcfa635718ecc350efa,
    title = "Advanced SPIN Tutorial",
    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.",
    keywords = "FMT-MC: MODEL CHECKING, IR-66292, EWI-6553",
    author = "T.C. Ruys and S. Graf and G.J. Holzmann and L. Mounier",
    year = "2004",
    doi = "10.1007/b96721",
    language = "Undefined",
    pages = "304--305",
    note = "null ; Conference date: 01-01-2004 Through 01-01-2004",

    }

    Ruys, TC, Graf, S (ed.), Holzmann, GJ & Mounier, L (ed.) 2004, 'Advanced SPIN Tutorial' Paper presented at 11th International SPIN Workshop on Model Checking Software 2004, Barcelona, Spain, 1/01/04 - 1/01/04, pp. 304-305. https://doi.org/10.1007/b96721

    Advanced SPIN Tutorial. / Ruys, T.C.; Graf, S. (Editor); Holzmann, G.J.; Mounier, L. (Editor).

    2004. 304-305 Paper presented at 11th International SPIN Workshop on Model Checking Software 2004, Barcelona, Spain.

    Research output: Contribution to conferencePaperAcademicpeer-review

    TY - CONF

    T1 - Advanced SPIN Tutorial

    AU - Ruys, T.C.

    AU - Holzmann, G.J.

    A2 - Graf, S.

    A2 - Mounier, L.

    PY - 2004

    Y1 - 2004

    N2 - 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.

    AB - 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.

    KW - FMT-MC: MODEL CHECKING

    KW - IR-66292

    KW - EWI-6553

    U2 - 10.1007/b96721

    DO - 10.1007/b96721

    M3 - Paper

    SP - 304

    EP - 305

    ER -

    Ruys TC, Graf S, (ed.), Holzmann GJ, Mounier L, (ed.). Advanced SPIN Tutorial. 2004. Paper presented at 11th International SPIN Workshop on Model Checking Software 2004, Barcelona, Spain. https://doi.org/10.1007/b96721