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.
然后在此基礎上對接口自動機理論進行了完善，并研究了該理論在軟件體系結構的組合分析與驗證中的應用。 返回 compositional verification