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