Verification of a Smart Contract for a Simple Casino. - Mark Utting; Liam Kent (CoRR, 2021)