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.

Project Activity

See All Activity >

Follow General Modeling Framework for Eclipse

General Modeling Framework for Eclipse Web Site

Other Useful Business Software
Stop vibe-debugging. Icon
Stop vibe-debugging.

Plug Claude into your app's actual errors.

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.
Free 30 days.
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of General Modeling Framework for Eclipse!

Additional Project Details

Registered

2004-09-24