![](https://static.youtibao.com/asksite/comm/h5/images/m_q_title.png)
[单选题]
()的方法通过将程序转换并表示为逻辑公式,然后使用公理和规则证明的方法,验证程序是否为一个合法的定理,从而发现其中无法证明的部分,从中发现安全缺陷。
A.定理证明
B.模型检验
C.符号执行
D.词法分析
查看答案
![](https://static.youtibao.com/asksite/comm/h5/images/solist_ts.png)
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里消失的时候要实现的动画效果