Sujet · runtime-verification

runtime-verification

Dépôts open source suivis étiquetés runtime-verification, triés par étoiles.

Dépôts

2

Total d'étoiles

1 410

Étoiles en moyenne

705

Part

0,00%

Sujets qui apparaissent souvent aux côtés de runtime-verification sur un même dépôt.

Ascensions récentes

Dépôts créés au cours des 90 derniers jours et étiquetés runtime-verification.

Aucun nouveau dépôt étiqueté avec ce sujet au cours des 90 derniers jours.

#1
copilot ↗@Copilot-LanguageHaskell
Un framework de vérification à l'exécution basé sur les flux pour générer du code C temps réel strict.
★ 833+0Évolution des étoiles sur les 7 derniers jours
#2
ogma ↗@nasaHaskell
Générateur de moniteurs d'exécution pour les applications de vol et de robotique.
★ 578+2Évolution des étoiles sur les 7 derniers jours

← Retour aux sujets