Can you always rely on the software that keeps your plane in the air, your driver-assisted car on the road, your factory plant turning, or your nuclear power station running safely? Can you be certain ...