A forum for Spin users
You are not logged in.
Pages: 1
I wish to announce the publication of a tutorial on the use of search diversity in Spin:
Mordechai (Moti) Ben-Ari and Fatima Kaloti-Hallak. Demonstrating random and parallel algorithms with Spin. ACM Inroads 3, 3 (September 2012), 36-38. http://doi.acm.org/10.1145/2339055.2339069
This joins the earlier tutorial:
Mordechai (Moti) Ben-Ari. A primer on model checking. ACM Inroads 1, 1 (March 2010), 40-47. http://doi.acm.org/10.1145/1721933.1721950
I'd be interested in hearing about the use of this material in teaching!
Moti
Offline
Thanks for sharing. Both tutorials are informative.
Offline
Pages: 1