Dudka Kamil: Automatizovaná formální verifikace v operačních systémech, Gach Marek: Verifikace systémů pracujících v reálném čase, Fiedor Jan: Praktické metody automatizované verifikace paralelních programů - detail akce