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

• Мини-пособие от Василя Дядова и Ильи Щепеткова (Лаборатория Касперского) ссылка 

• Тестовое задание для самопроверки ссылка

• Решение тестового задания ссылка 

Материалы от Группы Астра (Тимофей Черганов и Иван Смирнов) 

• Образ виртуальной машины со всеми необходимыми инструментами ссылка

• Мини-пособие ссылка

• Файл примеров Intro.v

• Материалы on-line курса по инструменту верификации Why3 от Владимира Ивановича Шелехова лекция1 лекция2

• Видео-записи лекций лекция1 лекция2