verus
Verifizierter Rust für Low-Level-Systemcode. Anstatt Laufzeitprüfungen hinzuzufügen, verlässt sich Verus stattdessen auf leistungsstarke Solver, um nachzuweisen, dass der Code korrekt ist.
Welches Problem es löst
Verifizierter Rust für Low-Level-Systemcode. Anstatt Laufzeitprüfungen hinzuzufügen, verlässt sich Verus stattdessen auf leistungsstarke Solver, um nachzuweisen, dass der Code korrekt ist.
Der Projektkontext auf dieser Seite ist kostenlos lesbar. Das ursprüngliche GitHub-Repository bleibt maßgeblich; nur zum Speichern oder Diskutieren ist eine Anmeldung nötig.
Community-Notizen