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