Theoretical analysis and experiments show that the scheme can effectively reduce a program's state space and satisfy the safety requirement imposed by software model check.
理论分析和实验结果表明,条件化可以有效缩减程序状态空间,并且满足软件模型检测对状态缩减的安全性要求。
Check whether the model is complete and clear and provides detailed level of information about the zones, hardware, software and connection specifications or details.
检查模型是否完整清晰,是否提供了关于区域、硬件、软件以及连接规范或细节的详细信息。
The SOAD framework lets knowledge engineers and software architects manage decision dependencies, so they can check model consistency and prune irrelevant decisions.
SOAD框架使得知识工程师以及软件架构师能够管理决策依赖,这样他们可以检查模型一致性并删除不相干的决策。
应用推荐