Instalando o Alloy Analyzer

O Alloy Analyzer 6 está disponível aqui (a versão latest) como um arquivo jar e requer que Java esteja instalado na sua máquina.

O jeito mais fácil de utilizar a ferramenta é baixando o arquivo org.alloytools.alloy.dist.jar no seu computador e iniciando-o clicando no ícone (Windows or Mac) ou tornando-o executável e executando-o com Java (Linux).

Atenção: Usuários de Mac podem querer instalar a versão nativa da ferramenta para Mac OS: alloy.dmg.

Utilizando o Alloy Analyzer

Clique no menu “Help” no Analyzer para um tutorial de como usar a ferramenta.