Для студентов МГУ им. Ломоносова по предмету Надёжность программного обеспеченияК. Савенков - Верификация программ на моделях (2012)К. Савенков - Верификация программ на моделях (2012)
2019-09-182019-09-18СтудИзба
Лекции: К. Савенков - Верификация программ на моделях (2012)
Описание
Описание файла отсутствует
Характеристики лекций
Тип
Учебное заведение
Семестр
Просмотров
68
Скачиваний
13
Размер
13,54 Mb
Список файлов
- К. Савенков - Верификация программ на моделях (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
При копировании или цитировании материалов на других сайтах обязательно используйте ссылку на источник
Хочешь зарабатывать на СтудИзбе больше 10к рублей в месяц? Научу бесплатно!
Начать зарабатывать
Начать зарабатывать