Ebeid ElSayed > Recent Status Updates

This book introducing a lightweight approach for formal methods using Alloy [http://alloy.mit.edu/alloy/].
Its written by Prof. Daniel Jackson, Computer Science Department, MIT

The Gambler’s Ruin Problem :
Consider two gamblers with finite resources who repeatedly play the same game against each other. What is the probability that each of the gamblers will eventually lose all of his money to the opponent.