https://github.com/ftsrg/gamma
An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
https://github.com/ftsrg/gamma
code-generation composition eclipse formal-verification model-transformations research statechart tool
Last synced: about 2 months ago
JSON representation
An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
- Host: GitHub
- URL: https://github.com/ftsrg/gamma
- Owner: ftsrg
- Created: 2018-11-22T13:47:20.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2026-02-09T17:55:10.000Z (about 2 months ago)
- Last Synced: 2026-02-09T20:58:17.061Z (about 2 months ago)
- Topics: code-generation, composition, eclipse, formal-verification, model-transformations, research, statechart, tool
- Language: Xtend
- Homepage: http://gamma.inf.mit.bme.hu
- Size: 41.4 MB
- Stars: 35
- Watchers: 13
- Forks: 27
- Open Issues: 14
-
Metadata Files:
- Readme: README.md
- Notice: NOTICE.md