Материалы для изучения
Введение в проверку моделей (Model Checking)
Введение в проверку моделей (Model Checking)
Описание работы с верификатором SPIN и языком Promela
Описание работы с верификатором SPIN и языком Promela
Пособие для участников соревнования по дедуктивной верификации
Пособие для участников соревнования по дедуктивной верификации