在未来，几乎所有的硬件和软件都将经过正式验证并被证明是正确的，连同数学和物理。