Allo4eclipse (A4E) is an eclipse plugin that allows the specification and analysis of models. It is written in the Alloy 4 language developed at MIT for Daniel Jackson’s research group. This plugin uses the SAT4J Prover by default.


Author :
Daniel Le Berre

LGPL    Archived software   

Go to the software webpage