Spinroot

A forum for Spin users

You are not logged in.

#1 2010-11-18 18:10:45

spinroot
forum
Registered: 2010-11-18
Posts: 695
Website

Caltech course CS 118

For information on the course on logic model checking given once a year at Caltech (usually January-March), see: [url]http://spinroot.com/cs118/[/url]

Offline

#2 2011-09-02 15:40:47

Sandra22
Member
Registered: 2011-09-02
Posts: 1
Website

Re: Caltech course CS 118

The textbook used in the course seems quite expensive, is there a cheaper alternative - like maybe an older version of the book?
Thank you for your reply.

Offline

#3 2011-09-03 19:53:20

spinroot
forum
Registered: 2010-11-18
Posts: 695
Website

Re: Caltech course CS 118

a lot of the material is online at spinroot.com, in the form of tutorials and manpages -- there are also other textbooks that cover the same or similar material of course, but yes textbooks unfortunately are rather expensive.  maybe i'll be preparing an e-book version of an updated version of the material

Offline

#4 2022-11-13 19:41:04

spinroot
forum
Registered: 2010-11-18
Posts: 695
Website

Re: Caltech course CS 118

The Caltech course CS118 is offered again this winter-term (Jan-Mar 2023).

Offline

Board footer

Powered by FluxBB