
Software controls many everyday electronics, like computers and smart phones, and is increasingly embedded in safety-critical systems like medical devices, transportation systems, and autonomous vehicles. Although difficult to detect, software errors can lead to loss of property, or even life.