SPIN tool enquiry

Thread View: comp.specification

2 messages

[T] Back to Threads [V] Tree View [G] Group Articles

2 total messages Started by Lim Chee Yong Tue, 21 Jul 1992 05:54

#36

Author: Lim Chee Yong
Date: Tue, 21 Jul 1992 05:54

15 lines
919 bytes

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.

Thanks in advance for any info.


Chee-Yong Lim,

cheeyong@iss.nus.sg
-- 
Lim Chee Yong				 Phone    : 65 - 772 - 3695
Institute of Systems Science  		 Fax      : 65 - 778 - 2571 
National University of Singapore         Internet : cheeyong@iss.nus.sg
Kent Ridge, Singapore 0511               Bitnet   : isslcy@nusvm.bitnet

Re: SPIN tool enquiry

#45

Author: 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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads