问题描述：
[单选]
（）的方法通过将程序转换并表示为逻辑公式，然后使用公理和规则证明的方法，验证程序是否为一个合法的定理，从而发现其中无法证明的部分，从中发现安全缺陷。
A．定理证明
B．模型检验
C．符号执行
D．词法分析
参考答案：查看无
答案解析：无
☆收藏
答案解析：无
☆收藏
- 我要回答: 网友(18.118.122.147)
- 热门题目: 1.栈是向（）地址扩展的数据结构 2.缓冲区的大小是由（）的数据决 3.指令的地址字段指出的不是操作