МФСП

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

Версия от 14:16, 12 сентября 2008; ESyr01 (Обсуждение | вклад)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

Содержание

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

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

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

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

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

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

Материалы

  • [Кузьменкова, Петренко-2008 Кузьменкова Е. А., Петренко А. К. Практикум по формальной спецификации программ на языке RSL]
  • [Кузьменкова, Петренко-2001 Кузьменкова Е. А., Петренко А. К. Формальная спецификация программ на языке RSL: Конспект лекций.]
  • [Кузьменкова, Петренко-1999 Кузьменкова Е. А., Петренко А. К. Формальная спецификация программ на языке RSL. Методическое пособие по практикуму]
  • [Мансуров, Майлингова Мансуров Н. Н., Майлингова О. Л. "Методы формальной спецификации программ: языки MSC и SDL" Методическое пособие по практикуму]

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

Ссылки


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


Лекции

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

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

Личные инструменты
Разделы