V budoucnu bude téměř veškerý hardware a software formálně ověřen a prokazatelně správný, stejně jako matematika a fyzika.