Quint

Формальная верификация · язык формальных моделей

создано 25 октября 2026 г. · обновлено 25 октября 2026 г.

Язык, на котором описывают правила системы так, чтобы их можно было запускать и проверять до написания кода. Запись похожа на обычный код и читается инженерами без математической подготовки. Программа перебирает порядки действий и показывает цепочку шагов, где правило нарушается. Проверяют две программы: TLC и Apalache, есть и быстрый случайный прогон.

Источник: quint-lang.org — сайт и документация Quint

Подробнее: Как найти гонки и потерянные данные моделями на QuintЧем Quint отличается от QUnit, Jest и TLA+

Весь глоссарий