我下载了nusmv-tools（https://code.google.com/a/eclipselabs.org/p/nusmv-tools/）这是一个模型检查器。 我成功地在eclipse上安装了它及其依赖项（例如xtext）并重启eclipse。
现在，我希望eclipse能识别出nusmv文件（扩展名是'.smv'），但它不能。
我的问题是，我应该怎么做才能在eclipse中解析nusmv文件，以便eclipse识别并突出显示nusmv文件（.smv）。
（我应该创建一个xtext项目或java项目还是一般项目？ 我应该在项目中添加哪些库或外部罐？）
有任何帮助吗？ 感谢
答案 0 :(得分：3)
实际上，对于nusmv，问题是：我使用的是eclipse 64位，但似乎nusmv-tools需要使用32位eclipse和xtext 2.5版本...... 降级eclipse和xtext后，它对我有用......