General Modeling Framework for Eclipse

License: Free ‎File size: N/A
‎Users Rating: 3.0/5 - ‎1 ‎votes

ABOUT General Modeling Framework for Eclipse

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.