Исследователи продемонстрировали использование ИИ для автоматизации формальной верификации сетевых компонентов Linux. Применив этот метод к компилятору брандмауэра, эксперты успешно обнаружили и исправили критические ошибки, которые сохранялись с 2022 года.