Thema · runtime-verification

runtime-verification

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

Repos

2

Sterne gesamt

1.408

Sterne im Schnitt

704

Anteil

0,00%

Themen, die häufig gemeinsam mit runtime-verification am selben Repo auftauchen.

Neue Aufsteiger

Repos, die in den letzten 90 Tagen erstellt und mit runtime-verification getaggt wurden.

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

#1
copilot ↗@Copilot-LanguageHaskell
Ein streambasiertes Laufzeitverifikations-Framework zur Generierung von harten Echtzeit-C-Code.
★ 833+1Sterne-Änderung der letzten 7 Tage
#2
ogma ↗@nasaHaskell
Generator für Laufzeitmonitore für Flug- und Robotikanwendungen.
★ 577+1Sterne-Änderung der letzten 7 Tage

← Zurück zu den Themen