compositional verification
常見(jiàn)例句
- 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