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

Текущая версия на 17:35, 10 сентября 2023

Методы верификации (618, 621). Блок 6, общая схема model checking

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

	Дата/время	Размеры	Участник	Примечание
текущий	17:35, 10 сентября 2023	(140 КБ)	PodymovVV (обсуждение \| вклад)	2023-2024. Теперь тут про возможности автоматизации дедуктивного анализа программ и про слабейшее предусловие
	12:31, 16 октября 2022	(70 КБ)	PodymovVV (обсуждение \| вклад)	Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.
	09:53, 19 сентября 2022	(117 КБ)	PodymovVV (обсуждение \| вклад)	Методы верификации (618, 621). Блок 6, общая схема model checking

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

Версия 12:31, 16 октября 2022 (просмотреть исходный код) PodymovVV (обсуждение \| вклад) (PodymovVV загружена новая версия «Файл:Verif VP 06.pdf») ← Предыдущая правка	Текущая версия на 17:35, 10 сентября 2023 (просмотреть исходный код) PodymovVV (обсуждение \| вклад) (PodymovVV загружена новая версия «Файл:Verif VP 06.pdf»)
(нет различий)