Tic Tac Toe
This is a cleaned up version of the tic-tac-toe example from the paper by Holzmann & Joshi that appears in the
SPIN2004
conference proceedings. A direct link to the paper is:
http://spinroot.com/spin/Workshops/ws04/036-Holzmann.pdf
Files:
tictactoe.pml
-- the driver model
tictactoe.c
-- the external C play() function
Spin homepage