Bert Lisser

Scientific programmer involved with: development of the µCRL tool set , model checking,  rewrite systems, user interfaces (java). Address: CWI Department of Software Engineering SEN2 (Specification and Analysis of Embedded Systems)  Kruislaan 413, 1098 SJ Amsterdam, The Netherlands  Room: M338 Tel.: +31 20 592 4099  Fax: +31 20 592 4199  E-mail: bertl@cwi.nl

• More about  Bert Lisser
• Syntax defined in Rascal

Work Related Links

1. Download mcrl
2. Example of import graph

Publications

1. S.C.C. Blom, W.J. Fokkink, J.F. Groote, I.A. van Langevelde, B. Lisser and J.C. van de Pol, µCRL: a toolset for analysing algebraic specifications, in (G. Berry, H. Comon and A. Finkel, eds) Proc. 13th Conference on Computer Aided Verification - CAV'2001, Paris, Lecture Notes in Computer Science 2102, pp. 250-254, Springer-Verlag (July 2001)
2. J.F. Groote and B. Lisser. Computer assisted manipulation of algebraic process specifications. Technical Report SEN-R0117, CWI, Amsterdam, 2001. ( Abstract)
3. B. Lisser  and  J.J. van Wamel . Specification of components in a proposition solver. Technical Report SEN-R9720, CWI, Amsterdam, 2001. ( Abstract)