Alloy 4 Eclipse (A4E) est un plugin eclipse qui permet d’édtier et vérifier des spécifications écrites dans le langage Alloy 4 développé au MIT pour le groupe de recherche de Daniel Jackson. Ce plugin utilise le prouveur SAT par défaut de SAT4J.

Le projet a démarré dans le cadre d’un projet étudiant de master 1sous la direction de Daniel Le Berre.

Aller sur la page web du logiciel