AlloyTools

Alloy 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.