[model-checking] Лекция 20.03.2011