µCRL: A toolset for analysing algebraic specifications (2001)
by
Stefan Blom
,
Wan Fokkink
,
Jan Friso Groote
,
Izak van Langevelde
,
Bert Lisser
,
Jaco van de Pol
| Venue: | Proc. 13th Conference on Computer Aided Verification, LNCS 2102 |
| Citations: | 30 - 15 self |
BibTeX
@INPROCEEDINGS{Blom01µcrl:a,
author = {Stefan Blom and Wan Fokkink and Jan Friso Groote and Izak van Langevelde and Bert Lisser and Jaco van de Pol},
title = {µCRL: A toolset for analysing algebraic specifications},
booktitle = { Proc. 13th Conference on Computer Aided Verification, LNCS 2102},
year = {2001},
pages = {250--254},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
µCRL [13] is a language for specifying and verifying distributed systems in an algebraic fashion. It targets the specification of system behaviour in a process-algebraic style and of data elements in the form of abstract data types. The µCRL toolset [21] (see
