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