单项选择题
软件形式化验证的方法的优点不包括（）。
A.能正确理解系统需求B.能自动验证系统C.不需要软件理论系统的知识D.能够更早发现软件中存在的问题，降低修复成本
单项选择题 关于时间自动机，下面不正确的叙述为（）。
单项选择题 下列问题不为NP-完全问题的为（）。
单项选择题 下列语言为递归可枚举语言为（）。
