Методы формальной верификации программ 2013

Материал из SEWiki
Перейти к: навигация, поиск

Лектор - Карпов Юрий Глебович

Практика -

Лекции

Домашние задания

Список литературы

Ссылки

http://dcn.infos.ru/~karpov/Model%20Checking%20Verification/%D0%9B%D0%B5%D0%BA%D1%86%D0%B8%D0%B8/Lecture%201%20Introduction.pdf

Источник — «http://mit.spbau.ru/sewiki/index.php?title=Методы_формальной_верификации_программ_2013&oldid=2542»