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

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

Текущая версия на 23:13, 26 октября 2025

Методы верификации (618, 621). Блок 22. CTL*, сравнение CTL и LTL

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

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

Дата/времяРазмерыУчастникПримечание
текущий23:13, 26 октября 2025 (172 КБ)PodymovVV (обсуждение | вклад)опечатки
19:52, 13 октября 2025 (172 КБ)PodymovVV (обсуждение | вклад)2025/2026, без существенных изменений
13:41, 17 октября 2024 (172 КБ)PodymovVV (обсуждение | вклад)опечатки
22:44, 13 октября 2024 (172 КБ)PodymovVV (обсуждение | вклад)2024-2025, без существенных изменений
12:54, 23 октября 2023 (173 КБ)PodymovVV (обсуждение | вклад)опечатки
18:37, 21 октября 2023 (174 КБ)PodymovVV (обсуждение | вклад)2023-2024. теперь тут про алгоритм mc-ctl
17:46, 13 ноября 2022 (130 КБ)PodymovVV (обсуждение | вклад)Методы верификации (618, 621). Блок 22. CTL*, сравнение CTL и LTL
  • Вы не можете перезаписать этот файл.

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

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