问题描述：
[单选]
模型检验对于路径和状态的分析过程可以实现全自动化; 但是由于穷举所有状态，所以同样存在计算能力受限的问题。（）
A．正确
B．错误
参考答案：查看无
答案解析：无
☆收藏
答案解析：无
☆收藏
- 我要回答: 网友(216.73.216.96)
- 热门题目: 1.堆空间是由低地址向高地址方向 2.CPU本身只负责运算，不负责 3.木马不具有欺骗性，而具有隐蔽