Distributed analysis with μCRL: a compendium of case studies

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

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

    15 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 languageEnglish
    Title of host publicationTools and Algorithms for the Construction and Analysis of Systems
    Subtitle of host publication13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
    Place of PublicationBerlin
    PublisherSpringer
    Pages683-689
    Number of pages7
    ISBN (Print)978-3-540-71208-4
    DOIs
    Publication statusPublished - 20 Dec 2007
    Event13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, (TACAS 2007) - Braga, Portugal
    Duration: 24 Mar 20071 Apr 2007

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume4424
    ISSN (Print)0302-9743

    Conference

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

    Fingerprint

    Dive into the research topics of 'Distributed analysis with μCRL: a compendium of case studies'. Together they form a unique fingerprint.

    Cite this