compositional verification

常見例句

雙語例句

• 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ǔ)上對接口自動機理論進行了完善，并研究了該理論在軟件體系結(jié)構(gòu)的組合分析與驗證中的應(yīng)用。
返回 compositional verification