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é)搆的組郃分析與騐証中的應(yīng)用。 返回 compositional verification