«AI Business News» 🗞️🦾 IT BOLTWISE®
KI macht formale Softwareverifikation in großem Maßstab möglich
LONDON (IT BOLTWISE) – Ein aktuelles Forschungsprojekt zeigt, dass große Sprachmodelle formal gesicherte Sicherheitsgarantien nicht nur für Quellcode, sondern auf Binärebene erzeugen können. Dafür werden aus bestehenden OSS-Fuzz-Tests maschinennahe Spezifikationen abgeleitet und dann per formaler Prüfung nachgewiesen, dass bestimmte Fehlerklassen nicht auftreten. In 123 Open-Source-Bibliotheken …