Thema · proof

proof

Erfasste Open-Source-Repos mit dem Tag proof, sortiert nach Sternen.

Repos

8

Sterne gesamt

7.070

Sterne im Schnitt

884

Anteil

0,00%

Themen, die häufig gemeinsam mit proof am selben Repo auftauchen.

Neue Aufsteiger

Repos, die in den letzten 90 Tagen erstellt und mit proof getaggt wurden.

In den letzten 90 Tagen kam kein neues Repo mit diesem Thema dazu.

#1
creusot ↗@creusot-rsRust
Creusot hilft Ihnen zu beweisen, dass Ihr Rust-Code korrekt ist.
★ 1.834+4Sterne-Änderung der letzten 7 Tage
#2
rocq-of-rust ↗@formal-landRocq Prover
Formales Verifizierungstool für Rust: Überprüft 100 % der Ausführungsfälle Ihrer Programme für sicherere Anwendungen.
★ 1.161+3Sterne-Änderung der letzten 7 Tage
#3
cryptominisat ↗@msoosC++
Ein fortschrittlicher SAT-Solver
★ 940+1Sterne-Änderung der letzten 7 Tage
#4
CreuSAT ↗@sarskoRust
CreuSAT – Ein formal verifizierter SAT-Solver, geschrieben in Rust und verifiziert mit Creusot.
★ 696+5Sterne-Änderung der letzten 7 Tage
#5
agda-stdlib ↗@agdaAgda
Die Agda-Standardbibliothek
★ 675+0Sterne-Änderung der letzten 7 Tage
#6
l4v ↗@seL4Isabelle
seL4-Spezifikation und -Beweise
★ 633+3Sterne-Änderung der letzten 7 Tage
#7
verdi ↗@uwplseRocq Prover
Ein Framework zur formalen Verifikation von Implementierungen verteilter Systeme in Coq
★ 625+0Sterne-Änderung der letzten 7 Tage
#8
VST ↗@PrincetonUniversityRocq Prover
Verified Software Toolchain
★ 508+0Sterne-Änderung der letzten 7 Tage

← Zurück zu den Themen