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.
Follow General Modeling Framework for Eclipse
Other Useful Business Software
Stop vibe-debugging.
AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of General Modeling Framework for Eclipse!