Programmi di gmfe.sf.net

Il General Modeling Framework for Eclipse (GMF/E) è un framework utilizzabile dagli ingegneri linguistici e in generale da chiunque voglia sviluppare nuovi metodi di verifica formale e testarli utilizzando il simulatore VIATR