咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 1 篇 符号化模型检测
  • 1 篇 二元决策图
  • 1 篇 公平离散系统
  • 1 篇 正时态测试器
  • 1 篇 实时分支时态逻辑

机构

  • 1 篇 暨南大学
  • 1 篇 广西可信软件重点...
  • 1 篇 南京信息工程大学
  • 1 篇 华侨大学

作者

  • 1 篇 古天龙
  • 1 篇 苏开乐
  • 1 篇 黄欣玥
  • 1 篇 gu tian-long
  • 1 篇 chen zu-xi
  • 1 篇 陈祖希
  • 1 篇 luo xiang-yu
  • 1 篇 骆翔宇
  • 1 篇 zheng li-xiao
  • 1 篇 su kai-le
  • 1 篇 huang xin-yue
  • 1 篇 郑黎晓

语言

  • 1 篇 中文
检索条件"主题词=实时分支时态逻辑"
1 条 记 录,以下是1-10 订阅
排序:
基于时态测试器的实时分支时态逻辑模型检测
收藏 引用
软件学报 2022年 第8期33卷 2930-2946页
作者: 骆翔宇 黄欣玥 古天龙 苏开乐 陈祖希 郑黎晓 华侨大学计算机科学与技术学院 福建厦门361021 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004 暨南大学信息科学技术学院/网络空间安全学院 广东广州510632 南京信息工程大学人工智能学院 江苏南京210044
基于自动机理论的模型检测技术在形式化验证领域处于核心地位,然而传统自动机在时态算子上不具备可组合性,导致各种时态逻辑的模型检测算法不能有机整合.为了实现集成限界时态算子的实时分支时态逻辑RTCTL*的高效模型检测,提出一种RTCTL... 详细信息
来源: 评论