W przyszłości niemal cały sprzęt i oprogramowanie będą formalnie weryfikowane i udowodnione jako poprawne, podobnie jak matematyka i fizyka.