This is so wild! The goal of program safety as I knew it was: terminate with the correct answer or raise an error. These people at MIT are working on a computing paradigm where instead of raising an error if the program goes wrong, they perform some default behavior. Apparently this works for many things--web browsers, e-mail clients, etc. Read about it here.