⚡️ Запись воркшопа по формальной верификации спецификаций через язык Quint

Разбираемся, как повысить надежность и безопасность кода, генерируемого нейросетями, внедрив промежуточный этап формальной верификации на языке Quint. Как перевод требований с английского языка в строгую математическую логику позволяет агентам находить слепые пятна и сайд-эффекты еще до написания самой программы. Спикер — Михаил Савченко, СЕО inite.ai.

ЧТО ВНУТРИ
- Про формальную верификацию
- Агентный конвейер как продолжение DevOps
- Проблемы промпт-инжиниринга и неоднозначность естественного языка
- Критерии надежности системы
- Много про Quint
- Пайплайн разработки: Английский -> Quint -> Верификация -> Код
- Порог входа

👉 Смотреть в Эволюции Кода