Model checking (3/30)

Model checking