SEW Menu

For the exploitation of XLIA models, the EFM Project provides 2 shortcut actions in the SEW (Symbolic Execution Workflow) Menu available on Eclipse's menu bar :

This menu is also accessible trough the SEW icon below (downward pointing arrow). Moreover, when clicking on this icon :