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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    15 Citaten (Scopus)

    Samenvatting

    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.

    Originele taal-2Engels
    TitelTools and Algorithms for the Construction and Analysis of Systems
    Subtitel13th 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
    Plaats van productieBerlin
    UitgeverijSpringer
    Pagina's683-689
    Aantal pagina's7
    ISBN van geprinte versie978-3-540-71208-4
    DOI's
    StatusGepubliceerd - 20 dec 2007
    Evenement13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, (TACAS 2007) - Braga, Portugal
    Duur: 24 mrt 20071 apr 2007

    Publicatie series

    NaamLecture Notes in Computer Science
    UitgeverijSpringer
    Volume4424
    ISSN van geprinte versie0302-9743

    Congres

    Congres13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, (TACAS 2007)
    Land/RegioPortugal
    StadBraga
    Periode24/03/071/04/07

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Distributed analysis with μCRL: a compendium of case studies'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit