МФСП
Материал из eSyr's wiki.
(Различия между версиями)
Строка 18: | Строка 18: | ||
== Материалы == | == Материалы == | ||
- | * [http://sp.cs.msu.su/courses/fmsp/meth2008.zip [Кузьменкова, Петренко-2008&# | + | * [http://sp.cs.msu.su/courses/fmsp/meth2008.zip [Кузьменкова, Петренко-2008] Кузьменкова Е. А., Петренко А. К. Практикум по формальной спецификации программ на языке RSL] |
- | * [http://sp.cs.msu.su/courses/fmsp/rsl2001.zip [Кузьменкова, Петренко-2001&# | + | * [http://sp.cs.msu.su/courses/fmsp/rsl2001.zip [Кузьменкова, Петренко-2001] Кузьменкова Е. А., Петренко А. К. Формальная спецификация программ на языке RSL: Конспект лекций.] |
- | * [http://sp.cs.msu.su/courses/fmsp/total13.zip [Кузьменкова, Петренко-1999&# | + | * [http://sp.cs.msu.su/courses/fmsp/total13.zip [Кузьменкова, Петренко-1999] Кузьменкова Е. А., Петренко А. К. Формальная спецификация программ на языке RSL. Методическое пособие по практикуму] |
- | * [http://sp.cs.msu.su/courses/fmsp/msc&sdl.pdf [Мансуров, Майлингова&# | + | * [http://sp.cs.msu.su/courses/fmsp/msc&sdl.pdf [Мансуров, Майлингова] Мансуров Н. Н., Майлингова О. Л. "Методы формальной спецификации программ: языки MSC и SDL" Методическое пособие по практикуму] |
(см. также Ссылки) | (см. также Ссылки) | ||
Версия 14:47, 12 сентября 2008
Содержание |
Формальная спецификация и верификация программ
Информация о курсе
- Лектор — Петренко Александр Константинович (mailto:petrenko@ispras.ru)
- Семинарист АСВК — Петровский Михаил Игоревич
- Экзамен письменный. Пользоваться можно чем угодно, списывать нельзя.
Структура курса
- (5—6 лекций) RAISE/RSL
- (~3 семинара) Параллельно с этим нач. практические занятия. Порядка трёх занятий на практикуме будет посвящено выполнению и сдаче контрольных заданий на практикуме
- (3 лекции) Методы аналитической верификации. В частности, метод Флойда
- (3—4 лекции) Инструментальная поддержка аналитической верификации. В качестве базы испльзуется PVS
- Коллоквиум
- Экзамен
Материалы
- [Кузьменкова, Петренко-2008] Кузьменкова Е. А., Петренко А. К. Практикум по формальной спецификации программ на языке RSL
- [Кузьменкова, Петренко-2001] Кузьменкова Е. А., Петренко А. К. Формальная спецификация программ на языке RSL: Конспект лекций.
- [Кузьменкова, Петренко-1999] Кузьменкова Е. А., Петренко А. К. Формальная спецификация программ на языке RSL. Методическое пособие по практикуму
- [Мансуров, Майлингова] Мансуров Н. Н., Майлингова О. Л. "Методы формальной спецификации программ: языки MSC и SDL" Методическое пособие по практикуму
(см. также Ссылки)
Ссылки
«Что гуглить»: