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 2014
- February 17, 2014
Seminar Introduction
- February 24, 2014
CANCELLED
- March 3, 2014
Safety Analysis
(Nikola Beneš) - March 10, 2014
Configurable Software Verification
(Eva Tesařová) - March 17, 2014
Program Analysis with Dynamic Precision Adjustment
(Jaroslav Bendík) - March 24, 2014
Software Model Checking via Large-Block Encoding
(Tomáš Lamser) - March 31, 2014
Predicate Abstraction with Adjustable-Block Encoding
(Marek Šabo) - April 7, 2014
CANCELLED -- ETAPS
- April 14, 2014
BDD-Based Software Model Checking with CPAchecker
(Peter Bezděk) - April 21, 2014
EASTER Holidays
(visit Jana Tůmová's presentation at the Informatics Colloquium on April 22 instead) - April 28, 2014
Explicit-State Software Model Checking Based on CEGAR and Interpolation
(Petr Bauch) - May 5, 2014
LLBMC overview
(Vojtěch Havel) - May 12, 2014
Incremental Bounded Model Checking of LLVM IR
(Henning Günther -- Guest from TU Vien)