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

    14 Citations (Scopus)

    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