Hi, I´m currently using the book by Gary R. Wright and W Richard Stevens
¨TCP/IP Illustrated Volume 2¨, which uses the 4.4BSD-Lite source code as
example. My question : Up to which version of FreeBSD is the 4.4BSD-Lite
code used ? Has it changed much and if so is the source code for older
version of FreeBSD and/or the code for 4.4BSD-Lite still available for
download somewhere ?

I am doing a MSc computer science project (Stellenbosch University,
South Africa) and want to generate the TCP protocol from a verified SPIN
model automatically.

Any help will we greatly appreciated.

[EMAIL PROTECTED] mailing list
To unsubscribe, send any mail to "[EMAIL PROTECTED]"

Reply via email to