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

  • 122
  • 0
  • 约 18页
  • 2016-12-13 发布于贵州
  • 举报
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

文档评论(0)

1亿VIP精品文档

相关文档