人工智能训练师（三级） 理论知识复习题库（900题）

---

在算法验证过程中,通常采用的形式化方法包括模型检验和( )。

A.形式化描述

B.逻辑推理

C.代码审查

D.测试用例

知识点：单选题

参考答案：B