Русская Википедия:Проверка моделей: история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

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

7 сентября 2023

  • текущ.пред. 16:3916:39, 7 сентября 2023EducationBot обсуждение вклад 7994 байта +7994 Новая страница: «{{Русская Википедия/Панель перехода}} '''Проверка моделей''' (''проверка на модели'', {{lang-en|model checking}}) — метод автоматической формальной верификации параллельных систем с конечным числом состояний, позволяет проверить, удовлетвор...»