单项选择题
模型检测方法存在的问题不包括（）。
A.状态空间爆炸问题B.自动机建模与转换复杂问题C.不可判定验证问题
单项选择题 模型检测方法不需要（）。
单项选择题 软件形式化验证的方法的优点不包括（）。
单项选择题 关于时间自动机，下面不正确的叙述为（）。
