Программы gmfe.sf.net

Общая модельная основа для Eclipse (GMF/E) — это рамки, используемые языковыми инженерами и, как правило, всем, кто хочет разработать новые формальные методы проверки и протестировать их с помощью тренажера VIATRA.