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