Die Mathematik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Verwaltung des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Mathematik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Universität Bremen


INHALT & PFAD:
Startseite Textformat


Für den Fall, dass Ihr Computer das entsprechende Format nicht angezeigen kann, können Sie sich hier das Dokument als unformatierte Textausgabe ansehen.

(Bitte haben Sie dafür Verständnis, dass gewisse Dokumente nicht als Textalternative zur Verfügung stehen.)


Download:
Download Presentation and demonstration of the mCRL2 toolset and its underlying verification technology (application/pdf 113.0 KB)


Textalternate  Presentation and demonstration of the mCRL2 toolset and its underlying verification technology
Fulltext:




Einladung zum Vortrag


15. Januar 2015, 10.00 Uhr s.t.
Universität Bremen | MZH 8090


Tim A. C. Willemse
Technische Universiteit Eindhoven


Presentation and demonstration of the mCRL2 toolset and its
underlying verification technology
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, statespace 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.
Biografie
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 parttime 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 modelbased 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.





Dieser Gast wurde von Jan Peleska eingeladen.
Email: jp@informatik.unibremen.de


Presentation and demonstration of the mCRL2 toolset and its underlying verification technology
Presentation and demonstration of the mCRL2 toolset and its underlying verification technology


 



zurück  




Seitenanfang  -  Impressum Zuletzt geändert durch: jungmann [b]   13.01.2015 Admin-Login