区块链的5大挑战以及AI带来的4大机遇

静态验证是对源代码或字节码(Byte Code)直接进行分析(不需要执行代码)，分析工具目前以形式验证(Formal Verification)为主，但基于深度神经网络的机器学习方法也在快速出现。形式验证是在硬件验证的基础上发展起来的，目前已被广泛用于软件安全验证。其手段是把程序表示为一定的形式化模型(即基于时序逻辑的数学模型)，然后用数学方法证明其正确性。

（编辑：PHP编程网 - 黄冈站长网）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!