Для студентов МГУ им. Ломоносова 7 семестрa по предмету Надёжность программного обеспечения
К. Савенков - Верификация программ на моделях (2012)К. Савенков - Верификация программ на моделях (2012)
2019-09-18
2019-09-18
СтудИзба
К. Савенков - Верификация программ на моделях (2012)
Описание
Описание файла отсутствует
Список файлов в архиве
- К. Савенков - Верификация программ на моделях (2012)
- Лекция 1. Введение в формальные методы проверки правильности программ.pdf 957,6 Kb
- Лекция 2. Моделирование программ.pdf 1,85 Mb
- Лекция 3. Системы переходов (LTS). Корректность и адекватность LTS модели.pdf 1,96 Mb
- Лекция 4. Система верификации SPIN. Описание моделей на языке Promela.pdf 976,48 Kb
- Лекция 5. Практические приёмы абстракции. Свойства линейного времени. Спецификация и верификация свойств при помощи Spin.pdf 1,55 Mb
- Лекция 6. Свойства живучести в Promela. Спецификация и верификация свойств при помощи автоматов Бюхи.pdf 1,5 Mb
- Лекция 7. Логика линейного времени (LTL). Использование LTL в Spin.pdf 2,83 Mb
- Лекция 8. Графы программ. Системы с каналами взаимодействия. Синхронный и асинхронный параллелизм.pdf 2,7 Mb
- Лекция 9. Выразительная мощность LTL. Корректная абстракция графов программ. Отношение моделирования (симуляции).pdf 925,67 Kb
- ссылка на видео всех этих лекций.txt 37 b
- Прочти меня!!!.txt 136 b
ссылка на видео всех этих лекций
http://savenkov.lvk.cs.msu.su/mc.html
Прочти меня!!!
Файл скачан с сайта StudIzba.com
При копировании или цитировании материалов на других сайтах обязательно используйте ссылку на источник
Комментарии
Сопутствующие материалы
FREE
Е.Н. Еремин - Основы химической термодинамики
Физическая химия
FREE
Гради Буч - Объектно-ориентированный анализ и проектирование с примерами приложений на С++
Объектно-ориентированный анализ и проектирование
FREE
Дж. Рамбо, М. Блаха - UML 2.0 - Объектно-ориентированное моделирование и разработка
Объектно-ориентированный анализ и проектирование
Контент-анализ статьи «С чего начать» В.И. Ленин
Социология
FREE
С.А. Ахманов, Ю.Е. Дьяков, А.С. Чиркин - Статистическая радиофизика
Математические модели флуктуационных явлений
FREE
Ю.Л. Словохотов - Материалы по курсу кристаллохимии (2012)
Кристаллохимия
