Embedded Files
Тьюториалы
Материалы для скачивания
Введение в проверку моделей (Model Checking)
Введение в проверку моделей (Model Checking)
Презентации от Н. Гараниной
Дополнение про установку инструмента SPIN под Windows тут
Презентация тьюториала по языку Promela тут
Видео тьюториала по языку Promela тут
Глава из книги С. Старолетова Описание работы с верификатором SPIN и языком Promela Ссылка
Скачать видео тьюториала по задаче GPU Ссылка
Презентация с тьюториала по задаче GPU Ссылка
Материалы по C-lightVer (дедуктивная верификация программы, относящейся к задаче проверки выполнимости булевых формул (SAT))
Материалы по C-lightVer (дедуктивная верификация программы, относящейся к задаче проверки выполнимости булевых формул (SAT))
Краткое руководство по TLA+
Краткое руководство по TLA+
Краткое руководство по Frama-C, WP и ACSL
Краткое руководство по Frama-C, WP и ACSL
Введение в Coq
Введение в Coq
Образ виртуальной машины от ГК Астра с инструментами для решения задач по Coq и Frama-C
Образ виртуальной машины от ГК Астра с инструментами для решения задач по Coq и Frama-C
Page updated
Google Sites
Report abuse