Was sich geändert hat
Rocq prüft die Beweise anhand formaler Spezifikationen.
Unsere Einordnung
Studio-Sicht: Einen Beweis dem exakten Build und einer kurzen Liste abgedeckter Eigenschaften zuordnen. Bei Änderungen an Build, Aufrufbedingungen oder Laufzeitumgebung den Geltungsbereich erneut prüfen.
Zu beachten
Vorausgesetzt sind statische, einsträngige RISC-V/Linux-Binärprogramme mit musl, fester Speicher und Eingaben unter 64 MB. Ganze Bibliotheken sind nicht abgedeckt.
Quellen & Daten
- Anthropic formal software verification researchQuelle veröffentlicht: 22 Okt. 2026Geprüft: 23 Okt. 2026
Bericht aktualisiert: 23 Okt. 2026
Redaktionsstandards & Korrekturen