search

ftsrg / gamma

An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
http://gamma.inf.mit.bme.hu
30 stars 25 forks source link

Nuxmv #153

Closed Rorck closed 1 year ago

Rorck commented 1 year ago

Added nuXmv to the framework. Introduced several transformations required for the generation of SMV model.

Not fully implemented yet.