单项选择题
模型检测方法不需要（）。
A.采用自动机对系统软件建模B.用逻辑表示系统需求C.用检测平台自动检测D.逻辑推理证明
单项选择题 软件形式化验证的方法的优点不包括（）。
单项选择题 关于时间自动机，下面不正确的叙述为（）。
单项选择题 下列问题不为NP-完全问题的为（）。
