Координационный язык рео
Язык координации Reo Основы Reo Reo – специализированный язык для создания систем на основе протоколов координации. Примеры систем включают компоненты, […]
Вики
Model checking
Вики
Бинарная диаграмма решений
Бинарная диаграмма принятия решений Основы BDD BDD – это структура данных, которая представляет булевы функции в виде двоичных деревьев. BDD
Вики
Автомат Мюллера
Автомат Мюллера Определение и свойства автомата Мюллера Автомат Мюллера является разновидностью ω-автомата, отличаясь условием принятия. Набор состояний, посещаемых бесконечно часто,
Вики
Проверка модели
Проверка модели Основы проверки моделей Проверка моделей – это процесс, который используется для проверки соответствия спецификаций программного обеспечения и его