Model checking (2/30)

Model checking