问题描述:
[单选]
()的方法通过将程序转换并表示为逻辑公式,然后使用公理和规则证明的方法,验证程序是否为一个合法的定理,从而发现其中无法证明的部分,从中发现安全缺陷。
A.定理证明
B.模型检验
C.符号执行
D.词法分析
参考答案:查看无
答案解析:无
☆收藏
答案解析:无
☆收藏
- 我要回答: 网友(18.118.120.204)
- 热门题目: 1.在秘书学、文书学、档案学三者 2.目前,利用决定论已经取代来源 3.档案行政规章通常适用于一定的