Материалы для изучения

 

 

 

Введение в проверку моделей (Model Checking)

Презентации от Н. Гараниной 

Ссылка

Дополнение про установку инструмента SPIN под Windows тут

Презентация тьюториала по языку Promela тут  

Описание работы с верификатором SPIN и языком Promela

Глава из книги С. Старолетова

Ссылка

 

 

Пособие для участников соревнования по дедуктивной верификации

Материалы от Д. Кондратьева: