Salt
Dev Tools
Описание
Язык программирования с интегрированной проверкой теорем Z3 на уровне компилятора.
Original (EN)
a systems language with Z3 theorem proving in the compiler
Проблема
Сложность верификации корректности программ на этапе компиляции.
Решение
Язык с встроенной проверкой теорем Z3 для автоматической верификации кода.
Для кого
Разработчики системного ПО и исследователи в области формальных методов.
Идея для адаптации в РБ
1. Интеграция с проектами ПВТ-резидентов для верификации кода в критичных системах (банкинг, телеком — ВТБ-РБ, МТС, A1), где важен формальный анализ безопасности. 2. Локализация документации и кейсов для белорусских IT-компаний (EPAM, Wargaming), работающих с госзаказчиками или fintech (ERIP, e-doc.by).
⚠ AI-черновик. Используй как seed для собственных идей — конкретные цифры, ниши и партнёров проверяй сам.