Appendix D. Downloading Spin
“On two occasions I have been asked, ’Pray, Mr. Babbage, if you put into the machine wrong figures, will the right answers come out?’ I am not able rightly to apprehend the kind of confusion of ideas that could provoke such a question.” | ||
--(Charles Babbage, 1792–1871) |
SPIN can be run on most systems, including most flavors of UNIX and Windows PCs. The only strict requirement is the availability of a standard, ANSI compatible, C preprocessor and compiler. If these programs are not already installed on your system, good quality public domain versions can be readily found on the Web. A recommended source for these tool, plus a host of other UNIX applications, is
Instructions for installing SPIN, documentation, ...
Get Spin Model Checker, The: Primer and Reference Manual now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.