10
代码正确性证明会成为主流吗?[关闭]
已关闭。这个问题是基于观点的。它当前不接受答案。 想改善这个问题吗?更新问题,以便通过编辑此帖子以事实和引用的形式回答。 5年前关闭。 除了最琐碎的程序外,所有程序中都充满了错误,因此承诺删除它们的任何事情都非常诱人。目前,正确性证明是非常深奥的代码,主要是由于学习起来很困难,以及证明程序正确所付出的额外努力。您认为代码验证会成功吗?
针对在系统开发生命周期中工作的专业人士,学者和学生的问答