En el futuro, casi todo el hardware y software será formalmente verificado y demostrablemente correcto, junto con matemáticas y física.