Я загружаю nusmv-tools(https://code.google.com/a/eclipselabs.org/p/nusmv-tools/), который является средством проверки модели. Я успешно установил его и его зависимости (например, xtext) от eclipse и перезапустил eclipse.
Теперь я ожидаю, что eclipse распознает файлы nusmv (с расширениями «.smv»), однако не может.
Мой вопрос: что мне делать, чтобы анализировать файлы nusmv в eclipse, чтобы eclipse распознавал и выделял файл nusmv (.smv).
(Должен ли я создать проект xtext, проект java или общий проект? Какие библиотеки или внешние банки следует добавить в проект?)
Любая помощь? Спасибо