Model checks under random censorship