Редактирование: ВПнМ, 08 лекция (от 04 апреля)
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 42: | Строка 42: | ||
* Стабильность: <> [] p | * Стабильность: <> [] p | ||
- | === | + | === Распространные паттерны LTL=== |
* [] p --- всегда p --- инвариант | * [] p --- всегда p --- инвариант | ||
* <> p --- рано или поздно --- гарантия | * <> p --- рано или поздно --- гарантия |