Thema · tlaplus

tlaplus

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

Repos

5

Sterne gesamt

4.928

Sterne im Schnitt

986

Anteil

0,00%

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

Neue Aufsteiger

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

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

#1
quint ↗@quint-coTypeScript
Eine ausführbare Spezifikationssprache mit hervorragenden Werkzeugen basierend auf der Temporalen Logik der Aktionen (TLA)
★ 1.654+16Sterne-Änderung der letzten 7 Tage
#2
Examples ↗@tlaplusTLA
Eine Sammlung von TLA⁺-Spezifikationen unterschiedlicher Komplexität.
★ 1.564+6Sterne-Änderung der letzten 7 Tage
#3
practical-fm ↗@ligurio
Eine sorgfältig zusammengestellte Liste von Unternehmen, die formale Verifikationsmethoden in der Industrie einsetzen
★ 610+0Sterne-Änderung der letzten 7 Tage
#4
apalache ↗@apalache-mcScala
APALACHE: Symbolischer Modellprüfer für TLA+ und Quint
★ 595+3Sterne-Änderung der letzten 7 Tage
#5
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