AlloyTools

Alloy é uma linguagem para descrever estruturas e uma ferramenta para explorá-las. Foi usada em uma ampla gama de aplicações, desde encontrar falhas em mecanismos de segurança até projetar redes de comutação telefônica. Este repositório contém o código para a ferramenta.