开发者 gmfe.sf.net

Eclipse 的通用建模框架 （GMF/E） 是一个框架，可用于语言工程师和一般任何想要开发新的正式验证方法，并使用 VIATRA 模拟器进行测试的人。