Google Git
Sign in
eclipse / efm / org.eclipse.efm-modeling / refs/heads/master / . / doc / org.eclipse.efm.modeling.doc.architecture
tree: 29a59f3a811119fc5957dc7c21cd126113236c2c [path history] [tgz]
  1. .settings/
  2. META-INF/
  3. resources/
  4. src/
  5. .classpath
  6. .gitignore
  7. .project
  8. build.properties
  9. pom.xml
  10. README.md
doc/org.eclipse.efm.modeling.doc.architecture/README.md

Eclipse Formal Modeling Architecture Documentation

This project contains resources modeling the EFM architecture through package diagrams :

  • resources/model/modeling-package : Formal Modeling
  • resources/model/sep-package : Symbolic Execution Platform