Embedded Files
Тьюториалы (будут тут)
Материалы для скачивания (будут обновлены)
Введение в проверку моделей (Model Checking)
Введение в проверку моделей (Model Checking)
Материалы по 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