EFM-SYMBEX : Eclipse Formal Modeling - Symbolic Execution Platform
Source code structure
Source Folder