题目内容
(请给出正确答案)
[单选题]
()的方法通过将程序转换并表示为逻辑公式,然后使用公理和规则证明的方法,验证程序是否为一个合法的定理,从而发现其中无法证明的部分,从中发现安全缺陷。
A.定理证明
B.模型检验
C.符号执行
D.词法分析
查看答案
如果结果不匹配,请 联系老师 获取答案
A.定理证明
B.模型检验
C.符号执行
D.词法分析
A.该函数的功能是将数字向下取舍到最接近的整数
B.语法为INT(number)
C.number为需要进行向下舍入取整的实数
D.通过此公式可以将23.5转换为24
A.错误
B.正确
A.输入公式或函数时存在着不可识别的文本
B. 输入公式或函数时存在着除数为0或空单元格的错误
C. 输入公式中存在数据类型错误
D. 列宽不够
A.正确
B.错误
A.正确
B.错误
A.错误
B.正确
A.ImageSwitcher里可以通过Time设定转换时候的透明位
B.在使用一个ImageSwitcher之前,不一定要调用setFactory方法
C.setInAnimation是输出到这个ImageSwitcher的时候动画效果
D.setOutAnimation是资源文件从这个ImageSwitcher里消失的时候要实现的动画效果