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