Sujet · model-checking

model-checking

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

Dépôts

6

Total d'étoiles

12 303

Étoiles en moyenne

2 051

Part

0,00%

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

Ascensions récentes

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

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

#1
P ↗@p-orgC#
Le langage de programmation P.
★ 3 670+5Évolution des étoiles sur les 7 derniers jours
#2
kani ↗@model-checkingRust
Vérificateur Rust Kani
★ 3 354+20Évolution des étoiles sur les 7 derniers jours
#3
tlaplus ↗@tlaplusJava
TLC est un vérificateur de modèles pour les spécifications écrites en TLA+. La TLA+Toolbox est un IDE pour TLA+.
★ 3 019+11Évolution des étoiles sur les 7 derniers jours
#4
alive2 ↗@AliveToolkitC++
Vérification automatique des optimisations LLVM.
★ 1 162+5Évolution des étoiles sur les 7 derniers jours
#5
apalache ↗@apalache-mcScala
APALACHE : vérificateur de modèle symbolique pour TLA+ et Quint
★ 595+1Évolution des étoiles sur les 7 derniers jours
#6
BlockingQueue ↗@lemmyTLA
Tutoriel « Des semaines de débogage peuvent vous faire économiser des heures de TLA+ ». Chaque commit git introduit un nouveau concept, consultez l'historique git.
★ 506+1Évolution des étoiles sur les 7 derniers jours

← Retour aux sujets