EFM-SYMBEX : Eclipse Formal Modeling - Symbolic Execution Platform

Thanks for your interest in this project.