Файл:Verif VP sem03.pdf

Материал из Кафедра математической кибернетики
Версия от 19:53, 13 октября 2025; PodymovVV (обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск
Verif_VP_sem03.pdf ‎(размер файла: 96 КБ, MIME-тип: application/pdf)

Методы верификации (618, 621). Семинар 3. CTL, базовый алгоритм model checking, BDD.

История файла

Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.

Дата/времяРазмерыУчастникПримечание
текущий19:53, 13 октября 2025 (96 КБ)PodymovVV (обсуждение | вклад)2025/2026, убрал bdd
19:55, 22 октября 2024 (117 КБ)PodymovVV (обсуждение | вклад)2024-2025, без существенных изменений
19:50, 13 ноября 2023 (117 КБ)PodymovVV (обсуждение | вклад)опечатки
11:12, 2 ноября 2023 (117 КБ)PodymovVV (обсуждение | вклад)2023-2024, без существенных изменений
16:53, 26 октября 2022 (116 КБ)PodymovVV (обсуждение | вклад)Методы верификации (618, 621). Семинар 3. CTL, базовый алгоритм model checking, BDD.
  • Вы не можете перезаписать этот файл.

Следующая 1 страница ссылается на данный файл:

Источник — «https://mk.cs.msu.ru/index.php?title=Файл:Verif_VP_sem03.pdf&oldid=12238»