Chương trình theo gmfe.sf.net

Khung mô hình hóa chung cho Eclipse (GMF / E) là một khuôn khổ có thể sử dụng bởi các kỹ sư ngôn ngữ và nói chung bất kỳ ai muốn phát triển các phương pháp xác minh chính thức mới và kiểm tra chúng bằng trình mô phỏng VIATRA.