...F5BBA25F2E646F63> 关键词： 竞争，时态模型检测，开放系统 [gap=17722]Key words: competition, temporal model checking, open systems.
基于6个网页-相关网页
temporal model checking
时间模型检验
以上为机器翻译结果，长、整句建议使用 人工翻译 。
Temporal logics are widely used in software verification and model checking.
时态逻辑在软件确认和模型检查中有广泛的应用。
youdao
Model checking, a technique for verifying the existence or non-existence of certain temporal properties in a program is also a static analysis.
模型检查，是验证一程序中是否存在某些暂时性特性的一种技术，它也是静态分析。
应用推荐
模块上移
模块下移
不移动