Eclipse에서 smv 파일 구문 분석

Question

모델 검사기 인 nusmv-tools (https://code.google.com/a/eclipselabs.org/p/nusmv-tools/)를 다운로드합니다. 이클립스에 대한 의존성 (예 : xtext)을 성공적으로 설치하고 Eclipse를 다시 시작합니다.

이제 eclipse에서 nusmv 파일 (확장명은 '.smv')을 인식 할 것으로 예상되지만 불가능합니다.

제 질문은 eclipse에서 nusmv 파일을 구문 분석하여 eclipse가 nusmv 파일 (.smv)을 인식하고 강조 표시하도록하려면 어떻게해야합니까?

는 (나는 xtext 프로젝트 나 자바 프로젝트 나 일반 프로젝트를 작성해야 하는가? 나는이 프로젝트에 추가해야하는 라이브러리 나 외부 항아리?)

어떤 도움? 감사

는

Answer 1

사실, nusmv에 대한 문제가되었다 : 나는 일식 64 비트를 사용했지만, nusmv-도구 일식 32 비트를 사용하는 데 필요한 것 같습니다 및 일식을 다운 그레이드 한 후 2.5 버전 ... 을 xtext하고 xtext 나를 위해 일했다 ...