From the Penn Gazette July 2016
http://thepenngazette.com/math-versus-computer-bugs/ [thepenngazette.com]
"... a trio of Penn professors is helping to develop an entirely different approach to programming that has the potential to eliminate software bugs completely. Steve Zdancewic, Stephanie Weirich, and Benjamin Pierce, all professors of computer and information science, are part of a newly launched project called DeepSpec that intends to bring the rigor and precision of mathematics to the world of computers—so that programmers can prove the accuracy of their code with the same complete confidence that mathematicians establish truths about numbers or geometry."
My 2¢? If only those who write the original specs could also be trusted to "do no evil."