Model checking of data word