关于SPI工具 的 使用说明.docVIP

SPIN Overview of this File Downloading Spin Installing Spin Related software (gcc, cpp, tcl/tk wish, yacc, dot, etch, jspin, erigone, spinja, ltl2ba) 0. Overview This readme file contains the guidelines for downloading and installing Spin and related software on Unix/Linux and Windows platforms. Refer to Spins homepage for a general description of Spin, with pointers to manual pages, newsletters.Spin is distributed in source form to encourage research in formal verification, and to help a support friendly and open exchange of algorithms, ideas, and tools. The software itself has a copyright