compositional model checking

• 组合模型检验

compositional model checking的用法和样例：

例句

1. The researchers developed a mathematical model to examine the effects of a two-month treatment plan.
   研究制定了数学模型检验两个月治疗方案的效果。
2. Semantic-oriented metadata model checking aims to judge whether a metadata model to be constructed is consistent semantically.
   面向语义的元数据模型检验用于判断待建元数据在语义上是否一致。