咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 2 篇 学位论文

馆藏范围

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

日期分布

学科分类号

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

主题

  • 2 篇 软件模型验证
  • 1 篇 程序分析
  • 1 篇 分布式系统
  • 1 篇 检测系统
  • 1 篇 规划
  • 1 篇 程序主干
  • 1 篇 软件验证
  • 1 篇 代码转换
  • 1 篇 模型检测
  • 1 篇 状态自动机

机构

  • 1 篇 大连理工大学
  • 1 篇 吉林大学

作者

  • 1 篇 勇嘉伟
  • 1 篇 顾滨兵

语言

  • 2 篇 中文
检索条件"主题词=软件模型验证"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于分布式系统的软件模型验证加速方法研究
基于分布式系统的软件模型验证加速方法研究
收藏
分享
引用
作者： 勇嘉伟 大连理工大学
学位级别：硕士
模型验证方法在软件可靠性检测方面性能卓越,但数据结构复杂的软件系统会引起状态空间爆炸问题。分布式系统可加速验证速率,但其不稳定性会导致模型验证效率低下甚至验证失败结果。研究如何提取软件系统验证有效部分,解决如何将模型验... 详细信息
来源： 评论
基于模型检测的软件验证技术研究
基于模型检测的软件验证技术研究
收藏
分享
引用
作者： 顾滨兵 吉林大学
学位级别：硕士
模型检测是一种重要的自动化验证技术。该技术应用于保证软件正确性和可靠性已成为近年来的一个研究热点。本文参与了基于规划方法的协议验证器jluPV的设计和开发,在进行经验总结和分析的同时,重点探讨和研究了协议验证器和软件验证器... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件