МФСП

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

Перейти к: навигация, поиск

Содержание

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

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

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

  • Лектор — Петренко Александр Константинович (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

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

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