XP下NuSMV安装教程.docx

NuSMV安装使用教程（Windows XP）NuSMV是运行在Unix环境下的，所以要在Windows环境下使用就要先模拟一个Unix的环境，这里使用cygwin在win32平台下模拟Unix。一. Cygwin安装1. 到/install.html 下载setup-x86.exe。2. 运行setup-x86.exe。3.选择Install from Internet。4.选择路径注意：在大多数情况下，推荐的安装选项是合适的，也可以进行定制不要在 Windows 系统的根目录（比如 C:）中安装 Cygwin。最好把 Cygwin 安装在它自己的子目录中，比如默认目录（C:\cygwin）或 C:\Program Files\cygwin。（您选择的目标目录将成为模拟的 UNIX 环境的根目录/。例如，如果在 C:\cygwin 中安装，那么虚拟的 /usr/bin 实际上是 C:\cygwin\usr\bin）。对于 Install For 选项，不要选择 Just Me5. 选择一个存储 Cygwin 所需的数据的目录。不要选择前一步中选择的 Cygwin 目录。 如果可能的话，应该在有至少 1GB 空闲空间的驱动器上创建或选择一个目录。6.选择网络连接方式 这里选择Direct Connection。7. 稍等一会儿，Cygwin 会下载当前的镜像站点列表，让你选择一个镜像站点。选择你认为可靠的或地理位置比较近的安装站点。这里选择。选择tw结尾的比较快8. 经过短暂的延迟之后，安装程序显示可用的类别和包的完整列表。单击加号 (+) 展开对应的类别；单击 “循环” 标志在 Skip（忽略此包）和包的所有可用版本之间循环。如果 Cygwin 提供一个实用程序的多个版本，应该选择满足你的需求的实例。顺便说一下，如果选择 B 列，就会下载二进制包；选择 S，也会下载源代码。在 Cygwin 中可用的包超过 1,000 个，所以应该只选择你需要的类别和包。（安装所有 Cygwin 包会占用超过 800MB 的磁盘空间）。以后随时可以添加整个类别或单独的包：只需重新运行 Cygwin 安装程序。（还可以在任何时候用相同的安装程序删除或更新包）。搜索 Cygwin 包列表，检查你喜欢的 UNIX 实用程序是否在 Cygwin 中可用。这里安装make, patch, g++, libexpat1-dev, bison和flex点击View，并将Hide obsolete packages前面的勾去掉，然后在search中依次输入上述包名称，安装所有找到的包（点击skip，直至变成版本号）。以patch为例，见下图。9. 继续下一步10.开始下载进度条分别反映每个包的下载进度、总下载进度和磁盘使用量。Cygwin 下载大量软件，所以请耐心等待。11. 安装完成12. 通过使用 Start 菜单或双击 Cygwin 图标（如果添加了这些快捷方式的话），启动 Cygwin；也可以执行 Cygwin 目录中的 Cygwin 脚本（比如 C:\cygwin\Cygwin.bat）。下图显示第一次启动 Cygwin 时的情况：它创建你的主目录，执行 shell 启动文件，显示提示。现在可以运行 UNIX 命令了！至此Cygwin安装成功以下内容未经亲自测试，转载自/arm_linux008/blog/static/13780414220102834626186//arm_linux008/blog/static/13780414220102834626186/在 Windows 中发挥 UNIX 的优势（反之亦然）Cygwin 在 Windows 中几乎完整地模拟一个 UNIX shell。实际上，它把这两种操作系统很好地结合在一起了。例如，可以运行 df -h命令显示 “UNIX” 机器上的空闲磁盘空间。图 7 显示结果。图 7. 是 Windows 上的 UNIX 文件系统，还是 UNIX 上的 Windows 文件系统？正如前面提到的，Cygwin 安装目录作为虚拟 UNIX 系统的根目录。Cygwin 把安装目录中的子目录映射到 UNIX 目录。它以单独的卷的形式提供 Windows 驱动器，比如 /cygwin/c。可以使用这样的虚拟路径启动 Windows 程序。请尝试输入/cygwin/c/Program\ Files/Internet\ Explorer/IEXPLORE.EXE从命令行启动 Windows Internet Explorer?。（还可以使用 Tab 键自动展开路径的元素）。顺便说一句，如果要把 Windows 路径名转换为等效的 UNIX 路径名或者相反，可以试试内置命令cygpath。在默认情况下，cy