Model checking

Model checking http://en.wikipedia.org/wiki/Model_checking