中英▼
go top

reachability analysis

  • 可达性分析，可达分析

网络释义专业释义

  可达性分析

可达性分析

基于1个网页-相关网页

短语

compositional reachability analysis 组合可达性分析

reachability tree analysis 可达树分析

  • 可达性分析 - 引用次数：18

    On the basis of reachability analysis, we further study how to verify temporal property in sequential circuits.

    3.在可达性分析的基础上,进一步验证时序电路的时态逻辑属性。

    参考来源 - 基于SystemC的时态逻辑属性验证方法研究
  • 可达分析 - 引用次数：2

    参考来源 - 交通网络可达性结构的矩阵分析
    可达性分析 - 引用次数：1

    参考来源 - 基于矩形混杂自动机的交叉口建模及可达性分析

·2,447,543篇论文数据，部分数据来源于NoteExpress

双语例句

  • For most safety properties and some liveness properties of real-time systems, model checking can be reduced to reachability analysis.

    模型检测时，实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定