Дослідники продемонстрували використання ШІ для автоматизації формальної перевірки мережевих компонентів Linux. Застосувавши цей метод до компілятора брандмауера, експерти успішно виявили та усунули критичні помилки, що існували з 2022 року.
Дослідники продемонстрували використання ШІ для автоматизації формальної перевірки мережевих компонентів Linux. Застосувавши цей метод до компілятора брандмауера, експерти успішно виявили та усунули критичні помилки, що існували з 2022 року.