They have world simulators which verify, to an extent, the behavior of the software