Our lives sometimes depend on computers performing as predicted.