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