Вебинар 15 октября 2026 Разработка надежного ПО с ИИ, в средах с высокими требованиями к целостности

Демонстрация надёжной разработки программного обеспечения с использованием ИИ. До сих пор ответом на вопрос «Как обеспечить доверие к коду, созданному с помощью ИИ?» была «проверка человеком». Предложен подход от AdaCore/ Но этот подход не масштабируется и не использует сильные стороны человека.