Re: SPIN tool enquiry

Article View: comp.specification

Article #45

Back to comp.specification Previous Next

#45

From: Lester Buck
Date: Fri, 24 Jul 1992 03:00

22 lines
1453 bytes

In article <1992Jul21.055416.29097@nuscc.nus.sg> cheeyong@kolmogoroff.iss.nus.sg (Lim Chee Yong) writes:
>I am looking for more information about the SPIN tool. Anybody
>who knows about this tool, and where I can ftp the source, please 
>send the info to me by e-mail.
>
>Chee-Yong Lim,

SPIN is listed in the book "Design and Validation of Computer Protocols"
(or something similar) from Prentice-Hall by an author (Holzman?) from
Bell Labs.  If you don't want to type it all in, the AT&T Toolchest will
license an electronic copy to you for $300.  (I think that is
outrageous, by the way, even though my client bought a copy.  Other
software books sell their source code on disk for $25 or so.)

If you can FTP it from anywhere, it is probably an illegal copy.  I
suppose if you bought the book, you could type it in an share it with
others who had bought the book, but that is a legal question.

But if you find it for anon FTP, please let me know. :-)

-- 
A. Lester Buck   buck@siswat.hou.tx.us   ...!uhnix1!siswat!buck

Technical Details

Message-ID: <1992Jul24.030012.11549@siswat.hou.tx.us>

Path: arc1-ca.pugleaf.net!sparky!uunet!sun-barr!cs.utexas.edu!zaphod.mps.ohio-state.edu!menudo.uh.edu!lobster!siswat!buck

References: <1992Jul21.055416.29097@nuscc.nus.sg>

Show Full Headers

Complete Article Headers

Newsgroups: comp.specification
Path: arc1-ca.pugleaf.net!sparky!uunet!sun-barr!cs.utexas.edu!zaphod.mps.ohio-state.edu!menudo.uh.edu!lobster!siswat!buck
From: buck@siswat.hou.tx.us (Lester Buck)
Subject: Re: SPIN tool enquiry
Message-ID: <1992Jul24.030012.11549@siswat.hou.tx.us>
Organization: Photon Graphics, Houston
References: <1992Jul21.055416.29097@nuscc.nus.sg>
Date: Fri, 24 Jul 1992 03:00:12 GMT
Lines: 22

Reply to Parent Message