Formal methods tools

Вики

Идеальный разработчик

/

Идеальный разработчик Обзор инструмента Perfect Developer (PD) PD предназначен для разработки сложных программных приложений в ИТ-системах и критически важных бортовых

Вики

Б-метод

/

B-Метод Обзор метода B Метод B — это формальный метод разработки программного обеспечения, основанный на теории автоматов и математической логике. 

Вики

Сплав (язык спецификации)

/

Сплав (язык спецификации) Основы языка Alloy Alloy — это декларативный язык для выражения сложных структурных ограничений в ПО.  Он основан

Вики

Решатель

/

Решатель Решатель — часть математического программного обеспечения, решающая математические задачи.  Решатели разрабатываются для решения задач аналогичного типа.  Типы решателей включают

Прокрутить вверх