Формальная верификация веб-приложений, созданных AI-агентами, с помощью PDD Kit

Microsoft Research представляет PDD Kit — инструмент для формальной верификации кода, сгенерированного AI-агентами. Система преобразует намерения разработчика в спецификации Verus, доказывая корректность кода для всех входных данных, что позволяет людям проверять логику, а не каждую строку.