| # EFM MODELING | |
| ##Description | |
| Eclipse Formal Modeling is a project dedicated to modeling and analyzing formally communicating systems. | |
| The general purpose of E-FMP project is to develop a series of formal analysis tools and enable a broader use of them thanks to their integration with the Eclipse modeling technologies. | |
| ## References | |
| * [EFM proposal](https://projects.eclipse.org/proposals/eclipse-formal-modeling-project) |