Формальные методы
в программной инженерии
На главную
© Copyright 2021 Институт Систем Информатики СО РАН, Новосибирский Государственный Университет.
Проверка моделей. Видео и слайды лекций:
Лекция 1: Введение
слайды
Лекция 2: Логики CTL и LTL
слайды
Лекция 3: Логики CTL, LTL
слайды
Лекция 4.1: Проверка моделей для LTL
слайды
Лекция 4.2: Проверка моделей для CTL
слайды
Лекция 5: Символьные представления
слайды
Лекция 6: Алгоритм Чанди-Лампорта
Практическое занятие 1.
слайды
Практическое занятие 2.
Практическое занятие 3.
Offline Website Maker
