AlloyTools

Alloy es un lenguaje para describir estructuras y una herramienta para explorarlas. Se ha utilizado en una amplia gama de aplicaciones, desde encontrar vulnerabilidades en mecanismos de seguridad hasta diseñar redes de conmutación telefónica. Este repositorio contiene el código de la herramienta.