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 2013
- February 25, 2013
Satisfiability Modulo Thoery
(Petr Bauch) - March 4, 2013
Simone Fulvio Rollini, Ondrej Sery and Natasha Sharygina: Leveraging Interpolant Strength in Model Checking
(Jan Havlíček) - March 11, 2013
Alessandro Cimatti and Alberto Griggio: Software Model Checking via IC3
(Vojtěch Havel) - March 18, 2013
Aditya Thakur and Thomas Reps: A Method for Symbolic Computation of Abstract Operations
(Petr Ročkai) - March 25, 2013
Zyad Hassan, Aaron Bradley and Fabio Somenzi: Incremental Inductive CTL Model Checking
(Florent Peres) - April 1, 2013
EASTER Holidays
- April 8, 2013
Siert Wieringa and Keijo Heljanko: Asynchronous Multi-Core Incremental SAT Solving
(Jan Kriho) - April 15, 2013
Competition on Software Verification (TACAS 2013 report, TACAS 2013)
(Milan Lenčo) - April 22, 2013
Anthony Widjaja Lin and Matthew Hague: Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters
(Vladimír Štill) - April 29, 2013
Vineet Kahlon and Chao Wang: Lock Removal for Concurrent Trace Programs
(Jiří Weiser) - May 6, 2013
Michael Benedikt, Rastislav Lenhardt and James Worrell: LTL model checking of Interval Markov Chains
(Mária Svoreňová) - May 13, 2013
Petanque Closed