All programvara i framtiden kommer att verifieras formellt. Vi är fortfarande tidiga.