Alloy


Voici le site d'Alloy en référence, où on retrouve tout: le logiciel, cas d'études, articles, tutoriels, présentations PPT, etc

http://alloytools.org/

Le document de référence sur le langage est

http://alloytools.org/download/alloy-language-reference.pdf