Todo software no futuro será formalmente verificado. Ainda estamos cedo.