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.
然后在此基础上对接口自动机理论进行了完善,并研究了该理论在软件体系结构的组合分析与验证中的应用。
双语例句
专业释义
- 组合验证
Furthermore, we make use of the hierarchies in compositional verification, which makes it possible to substitute some components of implementation with abstract specifications (which usually have smaller state space). We have designed and implemented an UML-based model checking tool, UML-MC.
此外,根据Statecharts的特点把层次结构加入到组合验证的过程中,使得对实现的验证可以通过把系统的某些精化部分用更抽象的规范(通常有更小的状态空间)代替来进行。