µCRL : a toolset for analysing algebraic specifications

S.C.C. Blom, W.J. Fokkink, J.F. Groote, I. Langevelde, van, B. Lisser, J.C. Pol, van de

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

88 Citaten (Scopus)

Samenvatting

µ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 http://www.cwi.nl/~mcrl) supports the analysis and manipulation of µCRL specifications. A µCRL specification can be automatically transformed into a linear process operator (LPO). All other tools in the µCRL toolset use LPOs as their starting point. The simulator allows the interactive simulation of an LPO. There are a number of tools that allow optimisations on the level of LPOs. The instantiator generates a labelled transition system (LTS) from an LPO (under the condition that it is finite-state), and the resulting LTS can be visualised, analysed and minimised.
Originele taal-2Engels
TitelComputer Aided Verification (Proceedings 13th International Conference, CAV 2001, Paris, July 18-22, 2001)
RedacteurenG. Berry, H. Comon, A. Finkel
Plaats van productieBerlin
UitgeverijSpringer
Pagina's250-254
ISBN van geprinte versie3-540-42345-1
DOI's
StatusGepubliceerd - 2001

Publicatie series

NaamLecture Notes in Computer Science
Volume2102
ISSN van geprinte versie0302-9743

Vingerafdruk Duik in de onderzoeksthema's van 'µCRL : a toolset for analysing algebraic specifications'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Blom, S. C. C., Fokkink, W. J., Groote, J. F., Langevelde, van, I., Lisser, B., & Pol, van de, J. C. (2001). µCRL : a toolset for analysing algebraic specifications. In G. Berry, H. Comon, & A. Finkel (editors), Computer Aided Verification (Proceedings 13th International Conference, CAV 2001, Paris, July 18-22, 2001) (blz. 250-254). (Lecture Notes in Computer Science; Vol. 2102). Springer. https://doi.org/10.1007/3-540-44585-4_23