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 2012
- February 20, 2012
Seminar Introduction
- February 27, 2012
DiVinE Overview
(Petr Ročkai) - March 5, 2012
Cimatti, Roveri,Bertoli:
Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking
(Petr Bauch) - March 12, 2012
Sebastiani, Tonetta, Vardi:
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking
(Jan Havlíček) - March 19, 2012
Klai, Poitrenaud:
MC-SOG: An LTL Model Checker Based on symbolic Observation Graph
(Vojtěch Havel) - March 26, 2012
CANCELLED
- April 2, 2012
Duret-Lutz, Klai, Poitrenaud, Thierry-Mieg:
Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking
(Tomáš Janoušek) - April 9, 2012
Easter Holidays
- April 16, 2012
Khurshid, S., C. S. Pasareanu and W. Visser:
Generalized symbolic execution for model checking and testing
(Milan Češka) - April 23, 2012
Stefan Blom, Jaco van de Pol and Michael Weber:
Bridging the Gap between Enumerative and Symbolic Model Checkers
(Jan Kriho) - April 30, 2012
CANCELLED
- May 7, 2012
CANCELLED
- May 14, 2012
Petanque Closed