開發者 gmfe.sf.net

Eclipse 的通用建模框架 （GMF/E） 是一個框架，可用於語言工程師和一般任何想要開發新的正式驗證方法，並使用 VIATRA 模擬器進行測試的人。