МФСП

Материал из eSyr's wiki.

(Различия между версиями)
Перейти к: навигация, поиск
(Новая: = Формальная спецификация и верификация программ = [[Image:Petrenko.jpg|240px|thumb|Петренко Александр Константино...)
Строка 16: Строка 16:
== Материалы ==
== Материалы ==
-
* [http://sp.cs.msu.su/courses/fmsp/meth2008.zip [Кузьменкова, Петренко-2008] Кузьменкова Е. А., Петренко А. К. Практикум по формальной спецификации программ на языке RSL]
+
* [http://sp.cs.msu.su/courses/fmsp/meth2008.zip [Кузьменкова, Петренко-2008&#5d; Кузьменкова Е. А., Петренко А. К. Практикум по формальной спецификации программ на языке RSL]
-
* [http://sp.cs.msu.su/courses/fmsp/rsl2001.zip [Кузьменкова, Петренко-2001] Кузьменкова Е. А., Петренко А. К. Формальная спецификация программ на языке RSL: Конспект лекций.]
+
* [http://sp.cs.msu.su/courses/fmsp/rsl2001.zip [Кузьменкова, Петренко-2001&#5d; Кузьменкова Е. А., Петренко А. К. Формальная спецификация программ на языке RSL: Конспект лекций.]
-
* [http://sp.cs.msu.su/courses/fmsp/total13.zip [Кузьменкова, Петренко-1999] Кузьменкова Е. А., Петренко А. К. Формальная спецификация программ на языке RSL. Методическое пособие по практикуму]
+
* [http://sp.cs.msu.su/courses/fmsp/total13.zip [Кузьменкова, Петренко-1999&#5d; Кузьменкова Е. А., Петренко А. К. Формальная спецификация программ на языке RSL. Методическое пособие по практикуму]
-
* [http://sp.cs.msu.su/courses/fmsp/msc&sdl.pdf [Мансуров, Майлингова] Мансуров Н. Н., Майлингова О. Л. "Методы формальной спецификации программ: языки MSC и SDL" Методическое пособие по практикуму]
+
* [http://sp.cs.msu.su/courses/fmsp/msc&sdl.pdf [Мансуров, Майлингова&#5d; Мансуров Н. Н., Майлингова О. Л. "Методы формальной спецификации программ: языки MSC и SDL" Методическое пособие по практикуму]
(см. также Ссылки)
(см. также Ссылки)

Версия 14:19, 12 сентября 2008

Содержание

Формальная спецификация и верификация программ

Петренко Александр Константинович
Петренко Александр Константинович

Информация о курсе

  • Лектор — Петренко Александр Константинович (mailto:petrenko@ispras.ru)
  • Семинарист АСВК — Петровский Михаил Игоревич

Структура курса

  1. (5—6 лекций) RAISE/RSL
    • (~3 семинара) Параллельно с этим нач. практические занятия. Порядка трёх занятий на практикуме будет посвящено выполнению и сдаче контрольных заданий на практикуме
  2. (3 лекции) Методы аналитической верификации. В частности, метод Флойда
  3. (3—4 лекции) Инструментальная поддержка аналитической верификации. В качестве базы испльзуется PVS
  4. Коллоквиум
  5. Экзамен

Материалы

(см. также Ссылки)

Ссылки


Формальная спецификация и верификация программ

Лекции

01 02 03 04 05 06 07 08 09 10 11 12 13 14

Календарь

Сентябрь
03 10 17 24
Октябрь
01 08 15 22 29
Ноябрь
12 19 26
Декабрь
03 17
Семинары

01 02 03 04 05 06

Календарь

Сентябрь
01 08 15 22 29
Октябрь
06

Оформление задач|Проведение экзамена

Получено с http://esyr.org/wiki/%D0%9C%D0%A4%D0%A1%D0%9F
Личные инструменты
Разделы