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

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, Jaco van de Pol, Mohammad Torab 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	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems
Subtitle of host publication	13th 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 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 - 20 Dec 2007
Event	13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, (TACAS 2007) - Braga, Portugal Duration: 24 Mar 2007 → 1 Apr 2007

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	4424
ISSN (Print)	0302-9743

Conference

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

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., Dashti, M. T., & Wijs, A. J. (2007). Distributed analysis with μCRL: a compendium of case studies. In Tools and Algorithms for the Construction and Analysis of Systems: 13th 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 (pp. 683-689). (Lecture Notes in Computer Science; Vol. 4424). Springer. https://doi.org/10.1007/978-3-540-71209-1_53

Blom, Stefan ; Calamé, Jens R. ; Lisser, Bert et al. / Distributed analysis with μCRL : a compendium of case studies. Tools and Algorithms for the Construction and Analysis of Systems: 13th 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. Berlin : Springer, 2007. pp. 683-689 (Lecture Notes in Computer Science).

@inproceedings{c083f4c989c74d1e8fdd1583bddfe986,

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.",

author = "Stefan Blom and Calam{\'e}, {Jens R.} and Bert Lisser and Simona Orzan and Jun Pang and {van de Pol}, Jaco and Dashti, {Mohammad Torab} and Wijs, {Anton J.}",

year = "2007",

month = dec,

day = "20",

doi = "10.1007/978-3-540-71209-1_53",

language = "English",

isbn = "978-3-540-71208-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "683--689",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",

note = "13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, (TACAS 2007) ; Conference date: 24-03-2007 Through 01-04-2007",

}

Blom, S, Calamé, JR, Lisser, B, Orzan, S, Pang, J, van de Pol, J, Dashti, MT & Wijs, AJ 2007, Distributed analysis with μCRL: a compendium of case studies. in Tools and Algorithms for the Construction and Analysis of Systems: 13th 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. Lecture Notes in Computer Science, vol. 4424, Springer, Berlin, pp. 683-689, 13th International Conference on Tools and Algorithms for the 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: 13th 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. Berlin: Springer, 2007. p. 683-689 (Lecture Notes in Computer Science; Vol. 4424).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Distributed analysis with μCRL

T2 - 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, (TACAS 2007)

AU - Blom, Stefan

AU - Calamé, Jens R.

AU - Lisser, Bert

AU - Orzan, Simona

AU - Pang, Jun

AU - van de Pol, Jaco

AU - Dashti, Mohammad Torab

AU - Wijs, Anton J.

PY - 2007/12/20

Y1 - 2007/12/20

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.

UR - http://www.scopus.com/inward/record.url?scp=37149006887&partnerID=8YFLogxK

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

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

M3 - Conference contribution

AN - SCOPUS:37149006887

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

PB - Springer

CY - Berlin

Y2 - 24 March 2007 through 1 April 2007

ER -

Blom S, Calamé JR, Lisser B, Orzan S, Pang J, van de Pol J et al. Distributed analysis with μCRL: a compendium of case studies. In Tools and Algorithms for the Construction and Analysis of Systems: 13th 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. Berlin: Springer. 2007. p. 683-689. (Lecture Notes in Computer Science). doi: 10.1007/978-3-540-71209-1_53

Distributed analysis with μCRL: a compendium of case studies

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this