EFM : Eclipse Formal Modeling

Thanks for your interest in this project.