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

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

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

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

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

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

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

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

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

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

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

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

Мини-пособие Ссылка
Презентация Ссылка

Заполнить форму участия

Page updated

Google Sites

Report abuse