cl-banner

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 Torabi Dashti, and Anton J. Wijs

Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007), Lecture Notes in Computer Science 4424, pp. 683 – 689, 2007.

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.

 

   doi:10.1007/978-3-540-71209-1_53  |  © Springer

BibTeX 

@inproceedings{BCLOPPDW-TACAS07,
author = "Stefan Blom and Jens R.\ Calam\'{e} and Bert Lisser and Simona Orzan and Jun Pang and
Jaco van de Pol and Mohammad Torabi Dashti and Anton J.\ Wijs",
title = "Distributed Analysis with {$\mu$}CRL: A Compendium of Case Studies",
booktitle = "Proceedings of the 13th International Conference on Tools
and Algorithms for the Construction and Analysis of Systems",
series = "Lecture Notes in Computer Science",
volume = 4424,
pages = "683--689",
publisher = "Springer-Verlag",
year = 2007
}
Nach oben scrollen