Paper Info
Title
Distributed Analysis with mu 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 pCRL 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.
Year
DOI
Venue
2007
10.1007/978-3-540-71209-1_53
Lecture Notes in Computer Science
DocType
Volume
ISSN
Conference
4424
0302-9743
Citations 
PageRank 
References 
8
0.49
6
Authors
8
Name
Order
Citations
PageRank
Stefan Blom1954.79
Jens R. Calamé2232.98
Bert Lisser31499.84
Simona Orzan41679.18
Jun Pang521933.53
Jaco Van De Pol6102278.19
muhammad torabi dashti7503.18
Anton J. Wijs8261.88