The EFM Project perspective provides widgets and graphical tools for the production of models and their exploitation through symbolic execution.
Those tools include :