Webster_WXH的博客

参考：https://zhuanlan.zhihu.com/p/295230186程序验证的目的是证明程序的正确性，这既包括程序不会有运行时错误，也包括程序功能的正确性。其次，程序验证的基本要素是程序的源码，要验证的属性，这是实现自动化验证的前提。同时，在必要时，我们需要有循环不变式。最后，程序验证的基本思路是，在给定源码和属性的基础上，通过验证算法，将我们需要验证的问题转化为逻辑公式，再证明逻辑公式的正确性。验证算法是程序验证所研究的核心内容，对程序验证的效率，有着至关重要的影响。还

        设计模式是对用来在特定场景下解决