โปรแกรมตาม gmfe.sf.net

กรอบการสร้างแบบจําลองทั่วไปสําหรับ Eclipse (GMF / E) เป็นกรอบการทํางานที่สามารถใช้งานได้โดยวิศวกรภาษาและโดยทั่วไปทุกคนที่ต้องการพัฒนาวิธีการตรวจสอบอย่างเป็นทางการใหม่และทดสอบโดยใช้โปรแกรมจําลอง VIATRA