()的方法通过将程序转换并表示为逻辑公式，然后使用公理和规则证明的方法，验证程序是否为一个合法的定理，从而发现其中无法证明的部分，从中发现安全缺陷。 - 查题网

>> 南开大学 / 攻防技术基础

南开大学 / 攻防技术基础

正确率：100%

()的方法通过将程序转换并表示为逻辑公式，然后使用公理和规则证明的方法，验证程序是否为一个合法的定理，从而发现其中无法证明的部分，从中发现安全缺陷。

A.定理证明

B.模型检验

C.符号执行

D.词法分析

积分

攻防技术基础

参考答案：

点击查看答案

佳题速递：

为了巩固自己的统治，现实中的任何一个国家的统治阶级都会介入文化事业产品市场，对文化事业产品的生产进行必须的引导和管理。()公共事业管理

丙二醇可作为()。药剂学

当消费函数为C=a+bY，a>0，b>0，这表明，平均消费倾向：()宏观经济学

目标游离评价模式(名词解释)学前教育评价

在完全垄断市场上，平均收益与边际收益的关系是()。经济学

单片机目前已经发展到()位，功能越来越强大。机电系统计算机控制技术