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.

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
}