Distributed Analysis with µCRL: a Compendium of Case Studies


Share/Save/Bookmark

Blom, Stefan and Calamé, Jens R. and Lisser, Bert and Orzan, Simona and Pang, Jun and Pol, Jaco van de and Torabi Dashti, Mohammad and Wijs, Anton J. (2007) Distributed Analysis with µCRL: a Compendium of Case Studies. In: 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007, 24 March - 01 April 2007, Braga, Portugal (pp. pp. 683-689).

[img] PDF
Restricted to UT campus only
: Request a copy
380kB
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 Item
Additional information:Tool paper
Copyright:© 2007 Springer
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/61977
Official URL:http://dx.doi.org/10.1007/978-3-540-71209-1_53
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 242018