imaging model

• 成象模型

imaging model的用法和样例：

例句

1. Completely automated theorem provers, such as model checkers, operate on an abstraction of the problem.
   象模型检查程序这种完全自动化的定理证明程序是在问题的一个抽象上操作。