单项选择题

A.模型校验
B.拓扑分析
C.模型比较
D.拓扑着色