位置：立项数据库 > 立项详情页
基于ASP的并发系统CSP模型验证研究
  • 项目名称：基于ASP的并发系统CSP模型验证研究
  • 项目类别：地区科学基金项目
  • 批准号：61262008
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：赵岭忠
  • 依托单位：桂林电子科技大学
  • 批准年度：2012
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 17
  • 0
  • 0
  • 0
  • 0
期刊论文
基于完备抽象解释的性质强保留抽象研究
基于ASP的CSP模型验证性质反例生成技术研究
基于上下文定界的递归队列并发程序可达性分析
安全多执行机制的无干扰性研究
Summarization of Boolean satisfiability verification
一种面向移动计算的机密性与完整性模型
基于时间多栈下推网络的实时系统验证
基于关键迹和ASP的CSP模型检测
基于时间动态下推网络可达性分析
基于ASP及稳定失败语义的CSP模型检测
基于MSP430单片机的低成本水声modem设计
基于k-定界的动态下推网络可达性分析
基于ASP的中间人协商模型
基于粗糙集与ASP的变压器故障诊断
赵岭忠的项目
基于抽象解释的逻辑程序验证研究
期刊论文 21 会议论文 6