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


Auteur :
Daniel Le Berre

LGPL    Logiciels archivés   

Aller sur la page web du logiciel