咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

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

主题

  • 2 篇 有序时段性质
  • 2 篇 实时系统
  • 1 篇 可靠性
  • 1 篇 计算机系统
  • 1 篇 检验问题
  • 1 篇 时间正则表达式
  • 1 篇 模型检验
  • 1 篇 模型验证
  • 1 篇 正确性

机构

  • 1 篇 计算机软件新技术...
  • 1 篇 南京大学

作者

  • 2 篇 李勇
  • 1 篇 李宣东
  • 1 篇 郑国梁

语言

  • 2 篇 中文
检索条件"主题词=有序时段性质"
2 条 记 录,以下是1-10 订阅
排序:
检验实时系统的有序时段性质
收藏 引用
南京大学学报(自然科学版) 2003年 第5期39卷 476-489页
作者: 李勇 李宣东 郑国梁 计算机软件新技术国家重点实验室
模型检验是一种被广泛应用于对设计或系统正确性进行自动验证的技术.实时系统的性质包括瞬间性质时段性质,显然后者的检验要比前者复杂得多.介绍了一类新的时段性质——有序时段性质,并检验了时间正则表达式的有序时段性质,最后分析... 详细信息
来源: 评论
实时系统有序时段性质的形式化检验
实时系统有序时段性质的形式化检验
收藏 引用
作者: 李勇 南京大学
学位级别:博士
实时系统是指那些严格要求对外部的输入及时做出回应的系统.由于许多实时系统是高安全性系统,所以近几十年来,实时系统的模型验证已经成为研究热点之一.我们需要检验实时系统的两类性质:时段性质和瞬间性质,毫无疑问,检验实时系统的时... 详细信息
来源: 评论