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 2011
- February 21, 2011
Seminar Introduction
- February 28, 2011 — Cancelled
- March 7, 2011
Region Abstraction for Timed Automata
(Adam Šiška) - March 14, 2011
DiVinE Model Checker for users
(Petr Ročkai) - March 21, 2011
Fairness
(Jan Havlíček) - March 28, 2011 — Cancelled
- April 4, 2011
Symbolic Execution
(Tomáš Janoušek) - April 11, 2011
Whitebox Fuzz Testing
(Jiří Appl) - April 18, 2011
Another Look at LTL Model Checking
(Petr Bauch) - April 25, 2011 — Easter Holidays
- May 5, 2011
Bounded Model Checking I
(Tomáš Babiak) - May 9, 2011
Bounded Model Checking II
(Vojtěch Havel) - May 16, 2011
Memory Ordering
(Tomáš Zábojník)