МФСП

Материал из 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

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

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