« SPIN distribution (for MAC too) | Main | Tic tac toe example from SPIN »
May 18, 2004
embedded C code in SPIN
[The SPIN MODEL CHECKER -- Primer and Reference Manual] Of particular interest is chapter 17 which describes how to embed C code. Fortunately, this chapter is online since there were some formatting issues at the publisher. Our library has a copy of the book, but it seems to be missing ?!
Posted by jones at May 18, 2004 03:36 PM
Comments
Post a comment
Thanks for signing in, . Now you can comment. (sign out)
(If you haven't left a comment here before, you may need to be approved by the site owner before your comment will appear. Until then, it won't appear on the entry. Thanks for waiting.)