Program menurut gmfe.sf.net

General Modeling Framework for Eclipse (GMF/E) adalah kerangka kerja yang dapat digunakan oleh insinyur bahasa dan umumnya siapa pun yang ingin mengembangkan metode verifikasi formal baru, dan mengujinya menggunakan simulator