EFM Project Perspective

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

Those tools include :