ParaDiSe Seminar
The ParaDiSe Seminar is a working forum for the presentation of ongoing and finished research in the areas related to the specification, modelling, analysis, and verification of software systems.
The meetings are held on Thursday at the Faculty of Informatics, Masaryk University, starting at 12:00.
Seminar Programme — Spring 2007
Presentations of selected verification tools as found in The Database of Verification Tools
- February 26, 2007
PRISM - Probabilistic Symbolic Model Checker (by Jiří Šimša)
- March 5, 2007
BLAST: Berkeley Lazy Abstraction Software Verification Tool (by Jakub Chaloupka)
- March 12, 2007
µCRL toolset (by P. Vařeková)
- March 19, 2007
MRMC - Markov Reward Model Checker (by P. Šimeček)
- March 26, 2007
TIMES - A Tool for Modeling and Implementation of Embedded Systems (by P. Moravec)
- April 2, 2007
The Mobility Workbench (by V. Řehák)
- April 16, 2007
Two Towers (by T. Babiak)
- May 14, 2007
Michael Weber (CWI Amsterdam): Microcontroller Model Checking