我徒劳地搜索了如何在 ubuntu 16.04 上运行 NuSMV。我已经安装了 NuSMV 二进制文件，我在 bin 文件夹中有一个可执行的 NuSMV，但它不会运行。我输入NuSMV -help但 cmd 报告NuSMV:command not found。关于如何运行 NuSMV/ 的任何想法还是我缺少类似安装的东西？
问问题
1651 次
我徒劳地搜索了如何在 ubuntu 16.04 上运行 NuSMV。我已经安装了 NuSMV 二进制文件，我在 bin 文件夹中有一个可执行的 NuSMV，但它不会运行。我输入NuSMV -help但 cmd 报告NuSMV:command not found。关于如何运行 NuSMV/ 的任何想法还是我缺少类似安装的东西？