The General Modeling Framework for Eclipse (GMF/E) is a framework usable by language engineers and generally anybody who wants to develop new formal verification methods, and test them using the VIATRA simulator.
VERSION HISTORY
- Version N/A posted on 2004-10-08
Several fixes and updates - Version N/A posted on 2004-10-08
Program Details
- Category: Network & Internet > Other
- Publisher: gmfe.sf.net
- License: Free
- Price: N/A
- Version: Array
- Platform: windows