In de toekomst zal bijna alle hardware en software formeel geverifieerd en aantoonbaar correct zijn, samen met wiskunde en natuurkunde.