Programma's van gmfe.sf.net

De General Modeling Framework for Eclipse (GMF / E) is een raamwerk bruikbaar door taal ingenieurs en in het algemeen iedereen die wil nieuwe formele verificatiemethoden te ontwikkelen, en test ze met behulp van de VIATRA sim