Trong tương lai, hầu hết tất cả phần cứng và phần mềm sẽ được xác minh chính thức và chứng minh là đúng, cùng với toán học và vật lý.