在未來，幾乎所有的硬體和軟體都將被正式驗證並且可以證明是正確的，還有數學和物理。