formal-verification
Erfasste Open-Source-Repos mit dem Tag formal-verification, sortiert nach Sternen.
Verwandte Themen
Themen, die häufig gemeinsam mit formal-verification am selben Repo auftauchen.
Neue Aufsteiger
Repos, die in den letzten 90 Tagen erstellt und mit formal-verification getaggt wurden.
In den letzten 90 Tagen kam kein neues Repo mit diesem Thema dazu.
- #1★ 3.673+5Sterne-Änderung der letzten 7 Tage
- #2★ 1.836-1Sterne-Änderung der letzten 7 Tage
- #3★ 1.836+3Sterne-Änderung der letzten 7 Tage
- #4
Ein statischer Verifizierer für Rust, basierend auf der Viper-Verifizierungsinfrastruktur.
★ 1.809+3Sterne-Änderung der letzten 7 Tage - #5★ 1.190+3Sterne-Änderung der letzten 7 Tage
- #6
Formales Verifizierungstool für Rust: Überprüft 100 % der Ausführungsfälle Ihrer Programme für sicherere Anwendungen.
★ 1.161+1Sterne-Änderung der letzten 7 Tage - #7★ 946+8Sterne-Änderung der letzten 7 Tage
- #8
Eine abhängig typisierte Beweissprache, die es Softwareentwicklern ermöglichen soll, nachweislich korrekten Bare-Metal-Code zu schreiben.
★ 835+0Sterne-Änderung der letzten 7 Tage - #9
CreuSAT – Ein formal verifizierter SAT-Solver, geschrieben in Rust und verifiziert mit Creusot.
★ 698+1Sterne-Änderung der letzten 7 Tage - #10
Konsequenz-Firewall für Maschinenaktionen. EMILIA Gate verifiziert die genaue Berechtigung vor Geld-, Code-, Berechtigungs-, Infrastruktur- oder regulierten Zustandsänderungen; das offene Protokoll macht die Nachweise unabhängig verifizierbar.
★ 649-58Sterne-Änderung der letzten 7 Tage - #11
Eine Liste freier und Open-Source-Hardware-Verifikationswerkzeuge und -Frameworks
★ 622+3Sterne-Änderung der letzten 7 Tage - #12
Eine sorgfältig zusammengestellte Liste von Unternehmen, die formale Verifikationsmethoden in der Industrie einsetzen
★ 610+0Sterne-Änderung der letzten 7 Tage - #13★ 508+1Sterne-Änderung der letzten 7 Tage
