compositional model checking的用法和樣例：
例句
- The researchers developed a mathematical model to examine the effects of a two-month treatment plan.
研究制定了數學(xué)模型檢驗兩個(gè)月治療方案的效果。 - Semantic-oriented metadata model checking aims to judge whether a metadata model to be constructed is consistent semantically.
面向語(yǔ)義的元數據模型檢驗用于判斷待建元數據在語(yǔ)義上是否一致。
