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