BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2006/newsitem/1172/2-F ebruary-2006-OAS-Colloquium-Muck-van-Weerdenburg DTSTAMP:20060202T000000 SUMMARY:OAS Colloquium, Muck van Weerdenburg ATTENDEE;ROLE=Speaker:Muck van Weerdenburg (OAS Gr oup) DTSTART;TZID=Europe/Amsterdam:20060202T161500 DTEND;TZID=Europe/Amsterdam:20060202T170000 LOCATION:Room 6.96, HG (Main Building), TU Eindhov en DESCRIPTION:One of the bottlenecks in model checki ng is the time (and space) consuming transformatio n of a model to a state space. The main activity i n such a transformation is often the rewriting of data expressions. In this talk the author will giv e an overview of his work on the rewriter(s) of th e mCRL2 toolset. This toolset differs from other s uch toolsets in that it has a higher order data sp ecification language (amongst other features). F or more information, see http://www.win.tue.nl/oas /main_colloquium.html. X-ALT-DESC;FMTTYPE=text/html:\n
One of the bottlenecks in model checking is the time (and\n space) consuming transformation of a model to a state space.\n The main activity in su ch a transformation is often the\n rewritin g of data expressions. In this talk the author wi ll\n give an overview of his work on the re writer(s) of the mCRL2\n toolset. This too lset differs from other such toolsets in\n that it has a higher order data specification lang uage\n (amongst other features).\n
\n \nFor more information, see \n http://www.win.tue.nl/o as/main_colloquium.html.\n
URL:/NewsandEvents/Archives/2006/newsitem/1172/2-F ebruary-2006-OAS-Colloquium-Muck-van-Weerdenburg END:VEVENT END:VCALENDAR