Allo4eclipse plugin (A4E) allows the specification and analysis of models in the Alloy4 language on the Eclipse platform.

This plugin was developed by Antoine Bourre and Francois Blarel, students from Artois University, as a 4th year university project from January to May 2007, under the supervision of Daniel Le Berre. The plugin is maintained by CRIL. Romuald Druelle and Lionel Desruelles continued the development of the plugin from January to April 2008.