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 2015
- February 16, 2015
Seminar Introduction
- February 23, 2015
Explicit State Model Checking in ParaDiSe
(Jiří Barnat) - March 2, 2015
ioco: Formal Approach to Testing and What I Have Contributed
(Nikola Beneš) - March 9, 2015
Program Dependence Graphs.
(Petr Bauch) - March 16, 2015
Static Slicing
(Jaroslav Bendík) - March 23, 2015
Dynamic Slicing
(Jan Mrázek) - March 30, 2015
Interprocedural Slicing
(Vladimír Štill) - April 6, 2015
EASTER Holidays
- April 13, 2015
CANCELLED -- ETAPS
- April 20, 2015
Pre/Post-condition Slicing
(Jiří Weiser) - April 27, 2015
LTL Slicing
(Kristína Zákopčanová) - May 4, 2015
Time is always constrained.
(Peter Bezděk) - May 11, 2015
Petangue Closed