Verification with memory model.