Smrčka Aleš: Verifikace moderních hardwarových systémů, Holík Lukáš: Formální verifikace software s využitím teorie automatů, Erlebach Pavel: Verifikace programů s dynamickými datovými strukturami založená na vzorech, Novosad Petr: Analýza hybridních Petriho sítí pomocí grafu grafu pokrytí - detail akce