Welcome to the home page µCRL-Toolset, which is a collection of
tools for manipulating process and data
descriptions written in µCRL
(micro Common Representation Language).
The tool and the source code are freely available for use in education
research, subject to this license.
- I.A. van Langevelde. A
compact file format for labeled transition systems.
Technical Report SEN-R0102, CWI, Amsterdam, 2001.
- J.F. Groote and B. Lisser. Computer
assisted manipulation of algebraic process specifications. Technical
Report SEN-R0117, CWI, Amsterdam, 2001.
- J.C. van de Pol. A
Prover for the muCRL toolset with applications -- version 0.1.
Technical Report SEN-R0106, CWI, Amsterdam, 2001.
- A.G. Wouters. Manual
for the muCRL tool set (version 2.8.2)
Technical Report SEN-R0130, CWI, Amsterdam, 2001.
The µCRL-Toolset is created and is maintained by
Jan Friso Groote and Bert Lisser,
department of Software Engineering, CWI,
Kruislaan 413, Amsterdam,1098 SJ (NL)
Telephone +31 20 592 4232