Distributed Analysis with µCRL: a Compendium of Case Studies

Stefan Blom, Jens R. Calamé, Bert Lisser, Simona Orzan, Jun Pang, Jan Cornelis van de Pol, Mohammad Torabi Dashti, Anton J. Wijs

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

    Abstract

    Models in process algebra with abstract data types can be analysed by state space generation and reduction tools. The μCRL toolset implements a suite of distributed verification tools for clusters of workstations. We illustrate their application to large case studies from a wide range of application areas, such as functional analysis, scheduling, security analysis, test case generation and game solving.
    Original languageUndefined
    Title of host publicationTools and Algorithms for the Construction and Analysis of Systems
    EditorsO. Grumberg, M. Huth
    Place of PublicationBerlin
    PublisherSpringer
    Pages683-689
    Number of pages7
    ISBN (Print)978-3-540-71208-4
    DOIs
    Publication statusPublished - Jul 2007
    Event13th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS 2007 - Braga, Portugal
    Duration: 24 Mar 20071 Apr 2007
    Conference number: 13

    Publication series

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

    Conference

    Conference13th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS 2007
    Abbreviated titleTACAS
    CountryPortugal
    CityBraga
    Period24/03/071/04/07

    Keywords

    • FMT-MC: MODEL CHECKING
    • METIS-242018

    Cite this

    Blom, S., Calamé, J. R., Lisser, B., Orzan, S., Pang, J., van de Pol, J. C., ... Wijs, A. J. (2007). Distributed Analysis with µCRL: a Compendium of Case Studies. In O. Grumberg, & M. Huth (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (pp. 683-689). (Lecture Notes in Computer Science; Vol. 4424, No. LNCS4549). Berlin: Springer. https://doi.org/10.1007/978-3-540-71209-1_53
    Blom, Stefan ; Calamé, Jens R. ; Lisser, Bert ; Orzan, Simona ; Pang, Jun ; van de Pol, Jan Cornelis ; Torabi Dashti, Mohammad ; Wijs, Anton J. / Distributed Analysis with µCRL: a Compendium of Case Studies. Tools and Algorithms for the Construction and Analysis of Systems. editor / O. Grumberg ; M. Huth. Berlin : Springer, 2007. pp. 683-689 (Lecture Notes in Computer Science; LNCS4549).
    @inproceedings{44d67834b9e54d08b1fa74adea148d40,
    title = "Distributed Analysis with µCRL: a Compendium of Case Studies",
    abstract = "Models in process algebra with abstract data types can be analysed by state space generation and reduction tools. The μCRL toolset implements a suite of distributed verification tools for clusters of workstations. We illustrate their application to large case studies from a wide range of application areas, such as functional analysis, scheduling, security analysis, test case generation and game solving.",
    keywords = "FMT-MC: MODEL CHECKING, METIS-242018",
    author = "Stefan Blom and Calam{\'e}, {Jens R.} and Bert Lisser and Simona Orzan and Jun Pang and {van de Pol}, {Jan Cornelis} and {Torabi Dashti}, Mohammad and Wijs, {Anton J.}",
    note = "Tool paper",
    year = "2007",
    month = "7",
    doi = "10.1007/978-3-540-71209-1_53",
    language = "Undefined",
    isbn = "978-3-540-71208-4",
    series = "Lecture Notes in Computer Science",
    publisher = "Springer",
    number = "LNCS4549",
    pages = "683--689",
    editor = "O. Grumberg and M. Huth",
    booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",

    }

    Blom, S, Calamé, JR, Lisser, B, Orzan, S, Pang, J, van de Pol, JC, Torabi Dashti, M & Wijs, AJ 2007, Distributed Analysis with µCRL: a Compendium of Case Studies. in O Grumberg & M Huth (eds), Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, no. LNCS4549, vol. 4424, Springer, Berlin, pp. 683-689, 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS 2007, Braga, Portugal, 24/03/07. https://doi.org/10.1007/978-3-540-71209-1_53

    Distributed Analysis with µCRL: a Compendium of Case Studies. / Blom, Stefan; Calamé, Jens R.; Lisser, Bert; Orzan, Simona; Pang, Jun; van de Pol, Jan Cornelis; Torabi Dashti, Mohammad; Wijs, Anton J.

    Tools and Algorithms for the Construction and Analysis of Systems. ed. / O. Grumberg; M. Huth. Berlin : Springer, 2007. p. 683-689 (Lecture Notes in Computer Science; Vol. 4424, No. LNCS4549).

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

    TY - GEN

    T1 - Distributed Analysis with µCRL: a Compendium of Case Studies

    AU - Blom, Stefan

    AU - Calamé, Jens R.

    AU - Lisser, Bert

    AU - Orzan, Simona

    AU - Pang, Jun

    AU - van de Pol, Jan Cornelis

    AU - Torabi Dashti, Mohammad

    AU - Wijs, Anton J.

    N1 - Tool paper

    PY - 2007/7

    Y1 - 2007/7

    N2 - Models in process algebra with abstract data types can be analysed by state space generation and reduction tools. The μCRL toolset implements a suite of distributed verification tools for clusters of workstations. We illustrate their application to large case studies from a wide range of application areas, such as functional analysis, scheduling, security analysis, test case generation and game solving.

    AB - Models in process algebra with abstract data types can be analysed by state space generation and reduction tools. The μCRL toolset implements a suite of distributed verification tools for clusters of workstations. We illustrate their application to large case studies from a wide range of application areas, such as functional analysis, scheduling, security analysis, test case generation and game solving.

    KW - FMT-MC: MODEL CHECKING

    KW - METIS-242018

    U2 - 10.1007/978-3-540-71209-1_53

    DO - 10.1007/978-3-540-71209-1_53

    M3 - Conference contribution

    SN - 978-3-540-71208-4

    T3 - Lecture Notes in Computer Science

    SP - 683

    EP - 689

    BT - Tools and Algorithms for the Construction and Analysis of Systems

    A2 - Grumberg, O.

    A2 - Huth, M.

    PB - Springer

    CY - Berlin

    ER -

    Blom S, Calamé JR, Lisser B, Orzan S, Pang J, van de Pol JC et al. Distributed Analysis with µCRL: a Compendium of Case Studies. In Grumberg O, Huth M, editors, Tools and Algorithms for the Construction and Analysis of Systems. Berlin: Springer. 2007. p. 683-689. (Lecture Notes in Computer Science; LNCS4549). https://doi.org/10.1007/978-3-540-71209-1_53