Sujet · tlaplus

tlaplus

Dépôts open source suivis étiquetés tlaplus, triés par étoiles.

Dépôts

5

Total d'étoiles

4 928

Étoiles en moyenne

986

Part

0,00%

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

Ascensions récentes

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

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

#1
quint ↗@quint-coTypeScript
Un langage de spécification exécutable avec des outils performants basés sur la logique temporelle des actions (TLA).
★ 1 654+12Évolution des étoiles sur les 7 derniers jours
#2
Examples ↗@tlaplusTLA
Une collection de spécifications TLA⁺ de complexités variées.
★ 1 564+5Évolution des étoiles sur les 7 derniers jours
#3
practical-fm ↗@ligurio
Une liste soigneusement sélectionnée d'entreprises utilisant des méthodes formelles de vérification dans l'industrie
★ 610+1Évolution des étoiles sur les 7 derniers jours
#4
apalache ↗@apalache-mcScala
APALACHE : vérificateur de modèle symbolique pour TLA+ et Quint
★ 596+2Évolution des étoiles sur les 7 derniers jours
#5
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+0Évolution des étoiles sur les 7 derniers jours

← Retour aux sujets