| <html> | |
| <body> | |
| <h1>EFM Project Perspective</h1> | |
| <p>The EFM Project perspective provides widgets and graphical tools for the production of models and their exploitation through symbolic execution.</p> | |
| <p>Those tools include :</p> | |
| <ul> | |
| <li>the <a href="sew_menu.html">SEW menu</a></li> | |
| <li>the <a href="xlia_editor.html">XLIA editor</a></li> | |
| <li>the <a href="sew_console.html">SEW console</a></li> | |
| <li>the <a href="model_explorer.html">model explorer</a></li> | |
| </ul> | |
| </body> | |
| </html> |