Формальная верификация: различия между версиями

154 байта добавлено ,  1 год назад
Метка: добавление ссылки
 
* [http://intsys.msu.ru/staff/mironov/verif_posled_programm.pdf А. М. Миронов. Верификация программ. Часть 1: нерекурсивные программы.]
 
* [http://intsys.msu.ru/staff/mironov/model_checking.pdf А. М. Миронов. Верификация программ методом model checking.]
 
* [http://sp.cmc.msu.ru/courses/vmp/ А.С. Камкин Введение в формальные методы верификации программ: учебное пособие]
Анонимный участник