📄 readme.html

📁 关于协议工程PROTOCOL ENGINEERING的英文书。
💻 HTML
字号:
<body bgcolor=#ffffff>
<html>
<p>
<title>Spin - Version 3.3 - November 1999</title>
<h1><tt><font color="#FF0000">SPIN README</font></tt></h1>

<h2><tt>Overview of this File</tt></h2>
<ol>
<li> <a href="#S2">Downloading Spin</a>
<li> <a href="#S1">Installing Spin</a>
	<ul>
	<li> on <a href="#S1a">Unix systems</a>
	<li> on <a href="#S1b">Windows95/WindowsNT PC's</a>
	</ul>
<li> <a href="#S3">Related software (gcc, cpp, go32, wish, dot)</a>
</ol>
   This readme file contains the guidelines for downloading and
   installing Spin and related software on Unix and Windows platforms.
   Refer to
   <a href="http://netlib.bell-labs.com/netlib/spin/whatispin.html">
   Spin's homepage</a> for a general description of Spin, with pointers
   to <a href="http://cm.bell-labs.com/cm/cs/what/spin/Man/index.html">
   manual pages</a>,
   <a href="http://netlib.bell-labs.com/netlib/spin/news/news.html">
   newsletters</a>.
<p>
Spin is distributed in source form to encourage
research in the area of formal verification,
and to help support friendly and open exchange of ideas.
The software itself has a copyright from Lucent Technologies and
Bell Laboratories, and is distributed for educational purposes only
(i.e., no guarantee of any kind is implied by the distribution of
the code, and all rights are reserved by the copyright holder).
For educational or research use of Spin, no license is required.
Commercial applications require a standard limited-use license
which carries a small administrative fee.
Please send <A HREF=mailto:gerard@research.bell-labs.com>
email</a> for details if you need such a license.

<h2><tt><a name="S1">1. Downloading Spin</a></tt></h2>
   The Spin software is distributed, with all sources, through
   <a href="http://netlib.bell-labs.com/netlib/master/readme.html">netlib</a>,
   with mirror sites around the world.
   The distribution can be loaded via anonymous ftp to netlib.bell-labs.com
   from directory <a href="http://netlib.bell-labs.com/netlib/spin/index.html">/netlib/spin</a>.
   See below for more specific directions.
<p>
The current version is Spin 3.3, which runs on
Unix workstations or mainframes, as well as on
PCs under Windows95/98 or WindowsNT.
To get up and running from scratch you will
need to download the following compressed tar-files.
<ul>
<li><b>Unix</b> systems:
<br>download the following tar-file with sources,
the graphical interface Xspin, documentation and examples:
	<ul>
<li><A href="ftp://netlib.bell-labs.com/netlib/spin/spin336.tar.gz">
ftp://netlib.bell-labs.com/netlib/spin/spin336.tar.gz</A>
	</ul>
The sources are written in YACC and Ansi/Posic C. The
optional graphical interface to Spin is written in Tcl/Tk.
For <a href="#S1a">installation notes see <b>1a</b></a> below.
<p>
If you already have a version 3 of Spin installed,
you may prefer to use a shell script to update the
sources to the most recent version:
	<ul>
<li><A href="ftp://netlib.bell-labs.com/netlib/spin/upgrade3.tar.gz">
ftp://netlib.bell-labs.com/netlib/spin/upgrade3.tar.gz</A>
	</ul>
<p>
<li><b>PCs</b> (Windows95/98 or WindowsNT):
<br>download the following zip file, with
a 32-bit precompiled Spin executable, the graphical interface Xspin,
and some examples:
>
<HR><H3>Transfer interrupted!</H3>
⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -