All programvare i fremtiden vil bli formelt verifisert. Vi er fortsatt tidlig.