题目内容
（请给出正确答案）
[单选题]
（)的方法通过将程序转换并表示为逻辑公式，然后使用公理和规则证明的方法，验证程序是否为一个合法的定理，从而发现其中无法证明的部分，从中发现安全缺陷。
A.定理证明
B.模型检验
C.符号执行
D.词法分析
答案
查看答案
重要提示：请勿将账号共享给其他人使用，违者账号将被封禁！
查看《购买须知》>>>
请输入或粘贴题目内容
搜题
拍照、语音搜题，请扫码下载APP
题目内容
（请给出正确答案）
A.定理证明
B.模型检验
C.符号执行
D.词法分析
答案
更多“()的方法通过将程序转换并表示为逻辑公式，然后使用公理和规则证明的方法，验证程序是否为一个合法的定理，从而发现其中无法证明的部分，从中发现安全缺陷。”相关的问题
第1题
A.该函数的功能是将数字向下取舍到最接近的整数
B.语法为INT(number)
C.number为需要进行向下舍入取整的实数
D.通过此公式可以将23.5转换为24
第2题
A.错误
B.正确
第4题
A.输入公式或函数时存在着不可识别的文本
B. 输入公式或函数时存在着除数为0或空单元格的错误
C. 输入公式中存在数据类型错误
D. 列宽不够
第5题
A.正确
B.错误
第8题
A.正确
B.错误
第9题
A.错误
B.正确
第10题
A.ImageSwitcher里可以通过Time设定转换时候的透明位
B.在使用一个ImageSwitcher之前，不一定要调用setFactory方法
C.setInAnimation是输出到这个ImageSwitcher的时候动画效果
D.setOutAnimation是资源文件从这个ImageSwitcher里消失的时候要实现的动画效果
