Методы формальной верификации программ : учеб.-метод. пособие для самостоят. работы [для студентов напр. подгот. 230100.68 «Информатика и вычислительная техника»]
учебно-методический материал (самостоятельная работа)
Библиографическое описание:Методы формальной верификации программ : учеб.-метод. пособие для самостоят. работы [для студентов напр. подгот. 230100.68 «Информатика и вычислительная техника»] / Сиб. федерал. ун-т ; сост. Ю. В. Удалова. - Электрон. текстовые дан. (PDF, 162 Кб). - Красноярск : СФУ, 2013. - (Магистратура). - Загл. с титул. экрана. - Библиогр.: с. 10. - Изд. № 2013-155. - Текст : электронный.
Аннотация:Учебно-методическое пособие содержит указания по изучению теории, ознакомлению с современными автоматическими верификаторами и выполнению лабораторных работ учебного курса «Методы формальной верификации программ». Предназначено для направления 230100.68 «Информатика и вычислительная техника».