Spinroot

A forum for Spin users

You are not logged in.

#1 2012-09-13 13:11:27

benari
Member
Registered: 2010-11-24
Posts: 9

Tutorial on search diversity in Spin

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

#2 2012-09-21 08:59:57

feng_lei_76
Member
Registered: 2011-05-13
Posts: 43

Re: Tutorial on search diversity in Spin

Thanks for sharing.  Both tutorials are informative.

Offline

Board footer

Powered by FluxBB