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