您的位置： 专家智库 > >

全嘉辉

作品数：2 被引量：1H指数：1
供职机构：华东理工大学信息科学与工程学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

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

领域

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

主题

  • 2篇形式化
  • 2篇形式化验证
  • 2篇MINIX
  • 1篇代码
  • 1篇源代码
  • 1篇可复用
  • 1篇可复用性
  • 1篇复用
  • 1篇复用性
  • 1篇操作系
  • 1篇操作系统

机构

  • 2篇华东理工大学

作者

  • 2篇全嘉辉
  • 1篇张欢欢

传媒

  • 1篇计算机工程

年份

  • 1篇2010
  • 1篇2009
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于FeaVer的MINIX3验证和改进被引量：1
2010年
使用FeaVer对MINIX3文件系统源代码进行形式化验证,并找到其中的错误代码。在验证的过程中引入测试用具的概念,它的特点是高效性和可复用性。在验证结果的基础上对原来的验证模型进行修改,并建立新的模型。经验证新模型符合应有的正确性属性。以新模型为依据对MINIX3的源代码进行改进,使操作系统达到一个更可靠的状态。
全嘉辉张欢欢
关键词：形式化验证MINIX
基于FeaVer的MINIX 3文件系统形式化验证和改进
如何保证软件系统的正确性一直是人们所关注的问题，为了能够准确、快速地找到软件系统中存在的问题，研究者们研发出了对软件系统进行形式化验证的工具。在本文中，我们将使用FeaVer对MINIX3操作系统中文件系统的源代码进行形...
全嘉辉
关键词：形式化验证源代码可复用性
全选 清除 导出
共1页<1>
聚类工具0