0

我正在尝试使用 GNuSMV 网站的用户界面安装 NuSMV 检查器，我应用了所有步骤，但它无法正常工作。有没有人可以帮助在我的 64 位笔记本电脑 Windows 10 上运行带有用户界面的 NuSMV？

先感谢您

4

0 回答 0