说说形式化验证(Formal Verification)吧
前言:被@暴走恭亲王点名,不得不写这个小文,笔者学识浅薄,而形式化验证这个题目不但大,而且深,笔者掌握的数学知识在专业人士里也就是幼儿园没毕业的水平,因此尽量不涉及任何数学问题,也欢迎真正的专家认真打脸.
作者:王健 达闼
说形式化验证(Formal Verification)之前,就不能不提一下形式化方法(Formal Method).形式化方法简单的说就是用数学工具进行定义,开发和验证(specification, development and verification).数学家们认为,不论硬件还是软件工程,就像世间万物一样,所有的学问一样,归根结底是