Thema · formal-methods

formal-methods

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

Repos

10

Sterne gesamt

21.663

Sterne im Schnitt

2.166

Anteil

0,00%

Themen, die häufig gemeinsam mit formal-methods am selben Repo auftauchen.

Neue Aufsteiger

Repos, die in den letzten 90 Tagen erstellt und mit formal-methods getaggt wurden.

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

#1
sled ↗@spacejamRust
der Champagner unter den eingebetteten Beta-Datenbanken
★ 9.080+1Sterne-Änderung der letzten 7 Tage
#2
P ↗@p-orgC#
Die Programmiersprache P.
★ 3.673+3Sterne-Änderung der letzten 7 Tage
#3
hacl-star ↗@hacl-starF*
HACL*, eine formal verifizierte kryptografische Bibliothek, geschrieben in F*
★ 1.836+0Sterne-Änderung der letzten 7 Tage
#4
creusot ↗@creusot-rsRust
Creusot hilft Ihnen zu beweisen, dass Ihr Rust-Code korrekt ist.
★ 1.836+2Sterne-Änderung der letzten 7 Tage
#5
quint ↗@quint-coTypeScript
Eine ausführbare Spezifikationssprache mit hervorragenden Werkzeugen basierend auf der Temporalen Logik der Aktionen (TLA)
★ 1.654+12Sterne-Änderung der letzten 7 Tage
#6
aeneas ↗@AeneasVerifOCaml
Eine Verifizierungstoolchain für Rust-Programme
★ 948+17Sterne-Änderung der letzten 7 Tage
#7
magmide ↗@magmideRocq Prover
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
#8
CreuSAT ↗@sarskoRust
CreuSAT – Ein formal verifizierter SAT-Solver, geschrieben in Rust und verifiziert mit Creusot.
★ 698+2Sterne-Änderung der letzten 7 Tage
#9
practical-fm ↗@ligurio
Eine sorgfältig zusammengestellte Liste von Unternehmen, die formale Verifikationsmethoden in der Industrie einsetzen
★ 610+1Sterne-Änderung der letzten 7 Tage
#10
VST ↗@PrincetonUniversityRocq Prover
Verified Software Toolchain
★ 508+1Sterne-Änderung der letzten 7 Tage

← Zurück zu den Themen