Model checking software(模型检查软件) The Weather Prophet (Common Reader Editions)(乘风破浪——勇闯加勒比海岛) Weihnachtsbaum (Christmas Tree): 12 Pieces for...
基于4个网页-相关网页
检查模型是否完整清晰，是否提供了关于区域、硬件、软件以及连接规范或细节的详细信息。
Check whether the model is complete and clear and provides detailed level of information about the zones, hardware, software and connection specifications or details.
SOAD框架使得知识工程师以及软件架构师能够管理决策依赖，这样他们可以检查模型一致性并删除不相干的决策。
The SOAD framework lets knowledge engineers and software architects manage decision dependencies, so they can check model consistency and prune irrelevant decisions.
时态逻辑在软件确认和模型检查中有广泛的应用。
Temporal logics are widely used in software verification and model checking.
应用推荐