Файл:Verif VP 17.pdf — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(PodymovVV загружена новая версия «Файл:Verif VP 17.pdf»)
(PodymovVV загружена новая версия «Файл:Verif VP 17.pdf»)
 
(нет различий)

Текущая версия на 00:47, 7 октября 2024

Методы верификации (618, 621). Блок 17. Базовый алгоритм model checking для CTL

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

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

Дата/времяРазмерыУчастникПримечание
текущий00:47, 7 октября 2024 (113 КБ)PodymovVV (обсуждение | вклад)2024-2025, без существенных изменений
10:24, 2 октября 2023 (114 КБ)PodymovVV (обсуждение | вклад)2023-2024. теперь проверка пустоты автоматов бюхи
17:28, 17 октября 2022 (172 КБ)PodymovVV (обсуждение | вклад)Исправлены опечатки
09:55, 17 октября 2022 (172 КБ)PodymovVV (обсуждение | вклад)Методы верификации (618, 621). Блок 17. Базовый алгоритм model checking для CTL
  • Вы не можете перезаписать этот файл.

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