Programas por gmfe.sf.net

O Quadro Geral de Modelação do Eclipse (GMF/E) é um quadro utilizável por engenheiros linguísticos e geralmente por qualquer pessoa que queira desenvolver novos métodos formais de verificação e testá-los utilizando o simulado