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

doi:10.1007/978-3-540-71209-1_53

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 proceeding › Conference contribution › Academic › peer-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 language	Undefined
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems
Editors	O. Grumberg, M. Huth
Place of Publication	Berlin
Publisher	Springer
Pages	683-689
Number of pages	7
ISBN (Print)	978-3-540-71208-4
DOIs	https://doi.org/10.1007/978-3-540-71209-1_53
Publication status	Published - Jul 2007
Event	13th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS 2007 - Braga, Portugal Duration: 24 Mar 2007 → 1 Apr 2007 Conference number: 13

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Number	LNCS4549
Volume	4424
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	13th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS 2007
Abbreviated title	TACAS
Country/Territory	Portugal
City	Braga
Period	24/03/07 → 1/04/07

Keywords

FMT-MC: MODEL CHECKING
METIS-242018

Access to Document

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

Cite this

Blom, S., Calamé, J. R., Lisser, B., Orzan, S., Pang, J., van de Pol, J. C., Torabi Dashti, M., & 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). Springer. https://doi.org/10.1007/978-3-540-71209-1_53

@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; null ; Conference date: 24-03-2007 Through 01-04-2007",

year = "2007",

month = jul,

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 et al.

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 proceeding › Conference contribution › Academic › peer-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 - Conference code: 13

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

Y2 - 24 March 2007 through 1 April 2007

ER -