Nr Name Value
1 board ?
2 nextTurn ?
Nr Event Target State ID
1INITIALISATION(board={(1|->{(1|->"_"),(2|->"_"),(3|->"_")}),(2|->{(1|->"_"),(2|->"_"),(3|->"_")}),(3|->{(1|->"_"),(2|->"...
2MoveX(2,2)
3MoveO(1,1)
4MoveX(1,2)
5MoveO(3,2)
6MoveX(2,1)
7MoveO(2,3)
8MoveX(3,1)
9MoveO(1,3)
10MoveX(3,3)
Generated on 2/1/2024 at 17:41 using ProB version 1.12.3-nightly
Main specification file: tictactoe_v2.tla (modified on 2/1/2024 at 17:37)
Main specification name: tictactoe_v2
Main VisB JSON file: tictactoe_visb.json (modified on 2/1/2024 at 17:35)
VisB SVG file: tictactoe_grid.svg (modified on 2/1/2024 at 13:46)