Главная страница « Информация « 5 курс «

Курс «Формальная спецификация и верификация программ» 2008-2009 уч.г.

2011 | 2010 | 2009 | 2008


Лектор: проф., доктор физ.-мат. наук Петренко А. К.
Продолжительность: 36 часов лекции, 36 часов семинары (практикум), 72 часа самостоятельная работа.
Аудитория: студенты 5 курса кафедр СП, АСВК и АЯ, бакалавры 441 и 442 группы.

Объявления


Окончательные результаты за курс 2008-2009 уч.г.



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


Страница курса и страница производственной практики на сайте ИСП РАН.
Распределение вариантов в 527, 528 группах и расписание сдач первого задания практикума (Excell, 18Кб).
Варианты первого задания практикума, методические указания и общие требования к спецификациям.
Указания к построению неявных спецификаций и указания к построению алгебраических спецификаций.
• RSL Type Checker: для Windows (889 Кб) и для некоторых версий Linux.
Памятка по работе с pvs и лекции по аналитической верификации
• [Кузьменкова, Петренко-2008] Кузьменкова Е. А., Петренко А. К. Практикум по формальной спецификации программ на языке RSL – М.: Издательский отдел факультета ВМК МГУ, 2008. (WinWord (114 Кб): http).
• [Кузьменкова, Петренко-2001] Кузьменкова Е. А., Петренко А. К. Формальная спецификация программ на языке RSL: Конспект лекций. – М.: Издательский отдел факультета ВМК МГУ, 2001. - 107 с. (Zip-архив файла WinWord97, 137Kb: http).
• [Кузьменкова, Петренко-1999] Кузьменкова Е. А., Петренко А. К. Формальная спецификация программ на языке RSL. Методическое пособие по практикуму – М.: Издательский отдел факультета ВМК МГУ, 1999. (Zip-архив файла WinWord97, 260Kb: http).
• [Мансуров, Майлингова] Мансуров Н. Н., Майлингова О. Л. "Методы формальной спецификации программ: языки MSC и SDL" Методическое пособие по практикуму – М.: Издательский отдел факультета ВМК МГУ, 1998. (PDF-файл, 1.4Mb: http).

Предупреждение


Размещение на других ресурсах, а также коммерческое использование материалов, опубликованных в данном разделе, возможно только с разрешения авторов.

  

© Кафедра системного программирования ВМК МГУ.

Обновлено: 8.12.2008