Файл:Verif VP 14.pdf

Verif_VP_14.pdf ‎(размер файла: 106 КБ, MIME-тип: application/pdf)

Методы верификации (618, 621). Блок 14. Автоматы Бюхи для моделей Крипке и ltl-формул

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

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

	Дата/время	Размеры	Участник	Примечание
текущий	10:22, 2 октября 2023	(106 КБ)	PodymovVV (обсуждение \| вклад)	2023-2024. теперь общая схема автоматного алгоритма для лтл
	12:33, 16 октября 2022	(144 КБ)	PodymovVV (обсуждение \| вклад)	Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.
	20:25, 3 октября 2022	(210 КБ)	PodymovVV (обсуждение \| вклад)	Добавлено важное уточнение про конечность модели
	14:07, 3 октября 2022	(210 КБ)	PodymovVV (обсуждение \| вклад)	Методы верификации (618, 621). Блок 14. Автоматы Бюхи для моделей Крипке и ltl-формул

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