Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

2 February 2006, OAS Colloquium, Muck van Weerdenburg

Speaker: Muck van Weerdenburg (OAS Group)
Title: Efficient Term Rewriting for mCRL2
Date: Thursday 2 February 2006
Time: 16:15-17:00
Location: Room 6.96, HG (Main Building), TU Eindhoven

One of the bottlenecks in model checking is the time (and space) consuming transformation of a model to a state space. The main activity in such a transformation is often the rewriting of data expressions. In this talk the author will give an overview of his work on the rewriter(s) of the mCRL2 toolset. This toolset differs from other such toolsets in that it has a higher order data specification language (amongst other features).

For more information, see http://www.win.tue.nl/oas/main_colloquium.html.

Please note that this newsitem has been archived, and may contain outdated information or links.