Временная логика действий
Временная логика действий Основы TLA TLA – это временная логика, разработанная Лесли Лэмпортом для описания параллельных и распределенных систем. TLA+ […]
Вики
Временная логика
Вики
Логика дерева вычислений
Логика дерева вычислений Основы логики дерева вычислений (CTL) CTL – это логика для описания свойств бесконечных путей вычислений в моделях.
Вики
Линейная темпоральная логика
Линейная временная логика Основы линейной темпоральной логики (LTL) LTL – это модальная логика, которая описывает условия, связанные со временем. Она