The metric is the number of deaths attributed to dependence on computers compared to the (presumed) number of deaths that could have happened in "safety-critical software controlling health equipment, aircraft, weapons systems and industrial processes, including nuclear power stations", that is, software where it was presumed that formal proofs were essential for correct operations.
