commit | d414d536361817bfc2c6f5fdc7003713292f75a7 | [log] [tgz] |
---|---|---|
author | Francois Le Fevre - CEA <francois.le-fevre@cea.fr> | Tue Oct 11 12:48:06 2016 +0200 |
committer | Francois Le Fevre - CEA <francois.le-fevre@cea.fr> | Tue Oct 11 12:48:06 2016 +0200 |
tree | 3145747b11c66924556ca6722025bd5c705dc7c0 | |
parent | aa794e24aada3957685104619000d03fd71898e2 [diff] |
Bug 501806 - [Modeling][releng] creation of the template project Change-Id: Ic59f202b480ac78c208cbb33bd25ce66c1c83c06 Signed-off-by: Francois Le Fevre - CEA <francois.le-fevre@cea.fr>
##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.