EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

11284 Distributed Analysis with µCRL: a Compendium of Case Studies

Home Policy Brochure Browse Search User Area Contact Help

Blom, S.C.C. and Calamé, J.R. and Lisser, B. and Orzan, S. and Pang, J. and van de Pol, J.C. and Torabi Dashti, M. and Wijs, A.J. (2007) Distributed Analysis with µCRL: a Compendium of Case Studies. In: Tools and Algorithms for the Construction and Analysis of Systems, 24 Mar - 01 Apr 2007, Braga, Portugal. pp. 683-689. Lecture Notes in Computer Science 4424. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-71208-4

Full text available as:

PDF (downloaded from SpringerLink)

- Univ. of Twente only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
372 Kb

Official URL: http://dx.doi.org/10.1007/978-3-540-71209-1_53

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.

Item Type:	Conference or Workshop Paper (Full Paper, Other)
Research Group:	EWI-FMT: Formal Methods and Tools
Research Program:	CTIT-DSN: Dependable Systems and Networks
Additional Information:	Tool paper
ID Code:	11284
Status:	Published
Deposited On:	25 October 2007
Refereed:	Yes
International:	Yes
More Information:	statistics metis

Export this item as:

To request a copy of the PDF please email us request copy

To correct this item please ask your editor

Repository Staff Only: edit this item