-1
NuSMV 웹 사이트에서 파일을 다운로드했지만 시스템에서 실제로 응용 프로그램을 실행할 수 없습니다. 모든 리드가 인정 될 것입니다. , 빈, lib 디렉토리, 공유 당신은 커맨드 라인을 통해 그것을 실행해야합니다Windows에서 NuSMV 2.6을 실행 중
A
답변
0
을 포함 -
이 파일은 폴더가 포함되어 있습니다./빈에서
열기 cmd를 명령 NuSMV.exe filename.smv
명령 줄 옵션을 탐색을 실행하고 그러나 당신은 "나는 실제로 응용 프로그램을 실행할 수 없습니다"*
할 필요가 그것을 사용할 수 있습니다 * 매우 ** 모호한 ** 문제 설명입니다 : 오류가 있습니까, 아니면 도구를 사용하는 방법을 모르십니까? 시도한 것을 보여주고 결과를 설명하십시오. –