EFM-SYMBEX : Eclipse Formal Modeling - Symbolic Execution Platform
Thanks for your interest in this project.