Programy według gmfe.sf.net

General Modeling Framework for Eclipse (GMF/E) jest strukturą, z którego korzystają inżynierowie języków i ogólnie każdy, kto chce opracować nowe metody weryfikacji formalnej i przetestować je za pomocą symulatora VIATRA.