AlloyTools/org.alloytools.alloy
@AlloyToolsAlloy est un langage de description de structures et un outil pour les explorer. Il est utilisé dans de nombreuses applications, de la détection de failles de sécurité à la conception de réseaux de commutation téléphonique. Ce dépôt contient le code de l'outil.
Étoiles
865
Bifurcations
149
Langage
Java
Licence
NOASSERTION
Dernier push
il y a 3 mois
Intel associée (0)
Aucune intel associée pour le moment
Ce dépôt n'est encore apparu dans aucune des sources que le radar suit. Le collecteur suit un calendrier — revenez une fois qu'il couvre ce dépôt.