Programas por gmfe.sf.net

O General Modeling Framework for Eclipse (GMF/E) é uma estrutura utilizável por engenheiros de idiomas e geralmente qualquer um que queira desenvolver novos métodos formais de verificação e testá-los usando o simulador VIATRA