En el futuro, casi todo el hardware y el software serán verificados formalmente y demostrablemente correctos, junto con las matemáticas y la física.