基本解釋[計(jì)算機(jī)科學(xué)技術(shù)]組合驗(yàn)證英漢例句雙語(yǔ)例句Secondly, some correction and enhancement are made to the theory of interface automata, and then the revised theory is applied to the compositional analysis and verification of software architectures.然后在此基礎(chǔ)上對(duì)接口自動(dòng)機(jī)理論進(jìn)行了完善，并研究了該理論在軟件體系結(jié)構(gòu)的組合分析與驗(yàn)證中的應(yīng)用。compositional verification更多例句專(zhuān)業(yè)釋義計(jì)算機(jī)科學(xué)技術(shù)組合驗(yàn)證Furthermore, we make use of the hierarchies in compositional verification, which makes it possible to substitute some components of implementation with abstract specifications (which usually have smaller state space). We have designed and implemented an UML-based model checking tool, UML-MC.此外，根據(jù)Statecharts的特點(diǎn)把層次結(jié)構(gòu)加入到組合驗(yàn)證的過(guò)程中，使得對(duì)實(shí)現(xiàn)的驗(yàn)證可以通過(guò)把系統(tǒng)的某些精化部分用更抽象的規(guī)范(通常有更小的狀態(tài)空間)代替來(lái)進(jìn)行。