Bug 501806 - [Modeling][releng] creation of the template project

Change-Id: Ic59f202b480ac78c208cbb33bd25ce66c1c83c06
Signed-off-by: Francois Le Fevre - CEA <francois.le-fevre@cea.fr>
110 files changed
tree: 3145747b11c66924556ca6722025bd5c705dc7c0
  1. core/
  2. releng/
  3. src/
  4. targetplatform/
  5. .gitignore
  6. .project
  7. pom.xml
  8. README.md
README.md

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