INHALT & PFAD:
Presentation and demonstration of the mCRL2 toolset and its underlying verification technology
Uhrzeit: +++ 10 Uhr s.t. +++ SONDERTERMIN
Ort: MZH 8090
Vortragende(r): Tim A. C. Willemse
(Technische Universiteit Eindhoven)
mCRL2 is a formal specification language with an associated toolset. The toolset can be used for modelling, validation and verification of concurrent systems and protocols. It can be run on Windows, Linux, Apple Mac OS X and FreeBSD. The toolset supports a collection of tools for linearisation, simulation, state-space exploration and generation and tools to optimise and analyse specifications. Moreover, state spaces can be manipulated, visualised and analysed. The mCRL2 toolset is developed at the department of Mathematics and Computer Science of the Technische Universiteit Eindhoven, in collaboration with LaQuSo, CWI and the University of Twente.
Tim A. C. Willemse is assistant professor in the Model Driven Software Engineering section of the CS department at the Technical University of Eindhoven (TU/e), and has a part-time affiliation with CERN. His research is in Algorithms and Logics for VErification (ALIVE), and, more broadly, in all means and methods that help designing correct and reliable systems. He works on algorithms and theory for PBES, parity games and model-based testing theories, and applications of model checking. His PBES theory drives the verification technology offered by the tool suite mCRL2 to which he contributes. Tim Willemse is managing director of the Dutch computer science research school IPA.
Ansprechpartner(in) / Einladende(r):
Prof. Dr. Jan