2 February 2006, OAS Colloquium, Muck van Weerdenburg

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.