< Binary search AutoProof Code Repository Board Game II >

Board Game I

Category: Application

Description

A simple board game application. Multiple players throw dice to move on a board, the first player to advance past the board wins.

Note that the verification of this program can take more then 40 seconds.

download source

Code