[model-checking] Семинары 15.05