Thema · model-checking

model-checking

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

Repos

6

Sterne gesamt

12.303

Sterne im Schnitt

2.051

Anteil

0,00%

Themen, die häufig gemeinsam mit model-checking am selben Repo auftauchen.

Neue Aufsteiger

Repos, die in den letzten 90 Tagen erstellt und mit model-checking getaggt wurden.

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

#1
P ↗@p-orgC#
Die Programmiersprache P.
★ 3.670+5Sterne-Änderung der letzten 7 Tage
#2
kani ↗@model-checkingRust
Kani Rust Verifier
★ 3.354+20Sterne-Änderung der letzten 7 Tage
#3
tlaplus ↗@tlaplusJava
TLC ist ein Modellprüfer für in TLA+ geschriebene Spezifikationen. Die TLA+ Toolbox ist eine IDE für TLA+.
★ 3.019+11Sterne-Änderung der letzten 7 Tage
#4
alive2 ↗@AliveToolkitC++
Automatische Verifizierung von LLVM-Optimierungen
★ 1.161+5Sterne-Änderung der letzten 7 Tage
#5
apalache ↗@apalache-mcScala
APALACHE: Symbolischer Modellprüfer für TLA+ und Quint
★ 593+1Sterne-Änderung der letzten 7 Tage
#6
BlockingQueue ↗@lemmyTLA
Tutorial „Weeks of debugging can save you hours of TLA+“. Jeder Git-Commit führt ein neues Konzept ein – prüfen Sie die Git-Historie!
★ 506+1Sterne-Änderung der letzten 7 Tage

← Zurück zu den Themen