New tools could provide ironclad certainty that computer bugs are a thing of the past

It's bad enough losing an hour's work when your computer crashes—but in settings like healthcare and aviation, software glitches can have far more serious consequences. In one notorious case, a computer bug caused cancer patients to receive lethal overdoses from a radiation therapy machine; in more recent headlines, flawed software was blamed for airplane crashes in Ethiopia and Indonesia.

* This article was originally published here