I created a screencast which shows the features of the nusmv-tools Eclipse editor. The editor is build using Xtext, so many thanks to the itemis AG team!
You can watch the video also in HD.
nusmv-tools Eclipse editor in action from Siamak Haschemi on Vimeo.
Happy model editing!
Posts
2 Kommentare:
There are some really nice feature extensions fort the Xtext editor. Thank you for publishing this under open source.
Great work! Thanks.
Post a Comment