##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.