Лекция 1. Введение. Задача верификации аппаратуры и программного обеспечения.pdf
702.3 KB
10 сент. 2025 г., 13:14
Лекция 10. Временные автоматы. Регионная модель Крипке. Сведение МС к TCTL и CTL.pdf
348.6 KB
10 сент. 2025 г., 13:14
Лекция 11. Bounded Model Checking. Выполнимость булевых формул SAT.pdf
815.3 KB
10 сент. 2025 г., 13:14
Лекция 2. Общие принципы дедуктивной верификации программ. Логика Хоара.pdf
1060.7 KB
10 сент. 2025 г., 13:14
Лекция 3. Моделирование программ и схем.pdf
1563.6 KB
10 сент. 2025 г., 13:14
Лекция 4. Логика вычисления программ. CTL. LTL.pdf
838.0 KB
10 сент. 2025 г., 13:14
Лекция 5. Model Checking для CTL. BDD - двоичные разрешающие диаграммы.pdf
1358.6 KB
10 сент. 2025 г., 13:14
Лекция 6. Символьный алгоритм верификации моделей для CTL.pdf
641.3 KB
10 сент. 2025 г., 13:14
Лекция 7. Верификация LTL. Автоматы Бюхи.pdf
324.1 KB
10 сент. 2025 г., 13:14
Лекция 8. Отношения бисимуляционной эквивалентности.pdf
2188.5 KB
10 сент. 2025 г., 13:14
Лекция 9. Временные автоматы. Timed CTL.pdf
381.8 KB
10 сент. 2025 г., 13:14
Семинар 1. Логика Хоара. Корректность программ.pdf
185.3 KB
10 сент. 2025 г., 13:14
Семинар 2. Модели Крипке. CTL, LTL. Безопасность, живость, справедливость.pdf
191.2 KB
10 сент. 2025 г., 13:14
Семинар 3. Алгоритмы проверки CTL-формул. ROBDD.pdf
139.0 KB
10 сент. 2025 г., 13:14
Семинар 4. NuSMV, композиция автоматов, проверка CTL-формул.pdf
504.2 KB
10 сент. 2025 г., 13:14
Семинар 5.1. NuSMV практика.pdf
1592.5 KB
10 сент. 2025 г., 13:14
Семинар 5.1. restaurant skeleton.smv
0.7 KB
10 сент. 2025 г., 13:14
Семинар 5.2. NuSMV практика.pdf
144.4 KB
10 сент. 2025 г., 13:14
Семинар 6. Средство SPIN. Синтаксис, трансляция базовых конструкций в модели Крипке.pdf
359.6 KB
10 сент. 2025 г., 13:14
Семинар 7. Инструкция по работе со средством SPIN.pdf
313.9 KB
10 сент. 2025 г., 13:14
Семинар 8. SPIN практика.pdf
215.9 KB
10 сент. 2025 г., 13:14
Семинар 9. UPPAAL практика.pdf
508.8 KB
10 сент. 2025 г., 13:14