您的位置： 专家智库 > >

曾宇清

作品数：4 被引量：1H指数：1
供职机构：桂林电子科技大学更多>>
发文基金：广西研究生教育创新计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇专利
  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...

主题

  • 3篇限界
  • 3篇可达性
  • 2篇语义
  • 2篇上下文
  • 2篇漏洞
  • 1篇自动机
  • 1篇网络
  • 1篇基于上下文
  • 1篇交集
  • 1篇分析方法
  • 1篇符号化
  • 1篇并发
  • 1篇并发程序

机构

  • 4篇桂林电子科技...

作者

  • 4篇曾宇清
  • 3篇钱俊彦
  • 2篇郭云川
  • 2篇李凤英
  • 2篇赵岭忠

传媒

  • 1篇桂林电子科技...

年份

  • 1篇2017
  • 1篇2015
  • 2篇2013
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
基于自动机的并发程序符号可达分析被引量：1
2013年
为了缓解模型检测并发程序中出现的状态爆炸问题,将并发程序建模成异步动态下推网络,同时将异步动态下推网络转化为异步下推网络,在异步下推网络下提出一种基于自动机的符号可达算法。该算法能避免精确搜索每一个状态空间,有效地缓解了状态爆炸。
曾宇清钱俊彦
关键词：可达性自动机
基于上下文限界的并发程序可达性研究
随着多核处理器的发展,对并发程序的研究已成为程序设计的热点。然而并发程序执行的不确定性,导致传统测试方法很难发现程序中隐匿的错误。模型检测作为一种自动验证技术,已成为保证并发程序安全性与可靠性的重要手段。可达性分析通过分...
曾宇清
关键词：并发程序可达性符号化
文献传递
基于树语义的异步动态下推网络可达性分析方法
基于树语义的异步动态下推网络可达性分析方法属于软件安全、可靠性技术领域，其特征在于将树语义引入到异步动态下推网络中，通过构建一个中间模型模拟模型的树语义，并采用上下文限界方法使模型的可达性为可判定，计算有限的k次上下文执...
钱俊彦曾宇清赵岭忠郭云川李凤英
文献传递
基于树语义的异步动态下推网络可达性分析方法
基于树语义的异步动态下推网络可达性分析方法属于软件安全、可靠性技术领域，其特征在于将树语义引入到异步动态下推网络中，通过构建一个中间模型模拟模型的树语义，并采用上下文限界方法使模型的可达性为可判定，计算有限的k次上下文执...
钱俊彦曾宇清赵岭忠郭云川李凤英
文献传递
全选 清除 导出
共1页<1>
聚类工具0