资 源 简 介
New now available from .
The aim of this project is to allow the specification and analysis of models in the Alloy4 language on the Eclipse platform.
Check out the Main Features for details on current and upcoming features of the plugin.
Alloy is powered in part by the pure Java SAT solver
This plugin was developed by Antoine Bourre and Francois Blarel, students from Artois University, as a 4th year univers
