EFM-SYMBEX : Eclipse Formal Modeling - Symbolic Execution Platform