Файл:Lecture Verification 10 eng.pdf — история изменений

Перейти к: навигация, поиск

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Сравнить.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — незначительные изменения.

  • (текущ. | пред.) 14:45, 1 декабря 2020PodymovVV (обсуждение | вклад). . (235 байта) (+235). . (курс методов верификации программ, 2020. английский перевод лекции про алгоритм верификации для tctl и про сети временных автоматов)