Формальные методы

Вики

Теория гомотопических типов

/

Теория гомотопических типов Основы теории гомотопических типов Теория гомотопических типов (HoTT) — это математическая теория, которая изучает свойства непрерывных преобразований […]

Вики

Код подтверждения

/

Подтверждающий код Основы подтверждающего кода Подтверждающий код (PCC) используется для проверки приложений на соответствие политике безопасности хост-системы.  PCC позволяет быстро

Вики

Функция Маккарти 91

/

Функция McCarthy 91 Определение и результаты функции McCarthy 91 Функция McCarthy 91 является рекурсивной функцией, определенной Джоном Маккарти для проверки

Вики

Предикативное программирование

/

Прогнозирующее программирование Основы предикативного программирования Предикативное программирование — метод спецификации и уточнения программ.  Спецификация представляет собой двоичное выражение, истинное для

Вики

Lustre (язык программирования)

/

Lustre (язык программирования) Определение и история Lustre Lustre — это декларативный синхронный язык программирования для реактивных систем.  Начал разрабатываться в

Вики

Абстрактная машина состояний

/

Абстрактный конечный автомат Обзор статьи Статья представляет собой обзор статьи «Абстрактные конечные автоматы: методы проектирования и анализа высокоуровневых систем» авторов

Вики

Б-метод

/

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

Вики

Венский метод развития

/

Венский метод разработки Основы VDM-SL VDM-SL — язык спецификации для описания программных систем.  Используется для описания систем, которые не могут

Вики

Характеристики алгоритмов

/

Характеристики алгоритма Определение алгоритма Алгоритм — это конечная последовательность инструкций, которые определяют вычислительный процесс.  Алгоритм должен быть детерминированным, конечным и

Вики

Вариант петли

/

Вариант петли Определение и свойства варианта цикла Вариант цикла — математическая функция, монотонно уменьшающаяся в соответствии с обоснованным соотношением.  Вариант

Вики

Асинхронная система

/

Асинхронная система Основы асинхронного управления Асинхронные системы не используют централизованные часы для координации операций.  Надежность асинхронных систем не зависит от

Вики

Статический временной анализ

/

Статический временной анализ Основы статического временного анализа (STA) STA — метод моделирования для вычисления времени работы синхронных цифровых схем без

Вики

Конечный автомат UML

/

Конечный автомат UML Основы диаграмм состояний UML Диаграммы состояний UML используются для описания поведения систем с помощью состояний и переходов. 

Вики

Символическое моделирование

/

Символьное моделирование Основы моделирования в информатике Моделирование в информатике — это вычисление поведения смоделированной системы.  Моделирование обычно охватывает дискретные моменты

Вики

Решатель SAT

/

Решатель SAT Обзор SAT-решателей SAT-решатели используются для проверки выполнимости булевых формул.  Решатели SAT делятся на полные и неполные, с DPLL

Вики

Конкурс POPLmark

/

Вызов Поплмарку Обзор POPLmark challenge POPLmark challenge — это набор тестов для оценки автоматизированного мышления в области языков программирования.  Цель

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