Теория следов
Теория следов Основы теории трассировки Теория трассировки обеспечивает математическую основу для параллельных вычислений и технологических процессов. Моноид трассировки является алгебраическим […]
Теория следов Основы теории трассировки Теория трассировки обеспечивает математическую основу для параллельных вычислений и технологических процессов. Моноид трассировки является алгебраическим […]
Временная логика действий Основы TLA TLA — это временная логика, разработанная Лесли Лэмпортом для описания параллельных и распределенных систем. TLA+
Формальные методы в Европе Организация FME FME способствует исследованиям и применению формальных методов в компьютерных системах. Членами являются представители науки
Устройство для проверки моделей Uppaal Обзор инструмента UPPAAL UPPAAL — это среда для моделирования и верификации систем реального времени. Используется
Прогнозирующее программирование Основы предикативного программирования Предикативное программирование — метод спецификации и уточнения программ. Спецификация представляет собой двоичное выражение, истинное для
Неинтерпретированная функция Неинтерпретируемые функции или функциональные символы в математической логике не обладают другими свойствами, кроме своего названия и n-образной формы.