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