モデルチェッカーであるnusmv-tools( https://code.google.com/a/eclipselabs.org/p/nusmv-tools/ )をダウンロードします。それとその依存関係（xtextなど）をEclipseに正常にインストールし、Eclipseを再起動しました。
ここで、Eclipse が nusmv ファイル (拡張子は「.smv」) を認識することを期待していますが、認識できません。
私の質問は、Eclipse で nusmv ファイルを解析して、Eclipse が nusmv ファイル (.smv) を認識して強調表示するようにするにはどうすればよいかということです。
(xtext プロジェクト、Java プロジェクト、または一般的なプロジェクトを作成する必要がありますか? プロジェクトに追加するライブラリまたは外部 jar はどれですか?)
何か助けはありますか？ありがとう