您的位置： 专家智库 > >

中国下一代互联网示范工程(CNGI-04-5-1D)

作品数：1 被引量：0H指数：0
相关作者：王芳曾令仿施展冯丹更多>>
相关机构：华中科技大学更多>>
发文基金：中国下一代互联网示范工程国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇对象文件系统
  • 1篇形式化
  • 1篇形式化描述
  • 1篇时序逻辑
  • 1篇线性时序逻辑

机构

  • 1篇华中科技大学

作者

  • 1篇冯丹
  • 1篇施展
  • 1篇曾令仿
  • 1篇王芳

传媒

  • 1篇计算机研究与...

年份

  • 1篇2007
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于线性时序逻辑的对象文件系统形式化描述
2007年
基于线性时序逻辑,给出了对象文件系统特性的形式化描述.对象文件系统时序逻辑(OFSTL)是线性时序逻辑在描述对象文件系统应用中的一个推广.用OFSTL描述对象文件系统的性质,用模型化的状态迁移系统表示对象文件系统的访问行为.试图解决目前对象文件系统研究存在的问题: ①关注提升对象文件系统性能和功能,但是以增加对象文件系统复杂性为代价; ②很少针对对象文件系统精确描述,缺乏形式化的辅助,妨碍从细节上考查对象文件系统的正确性.
曾令仿冯丹王芳施展
关键词：对象文件系统线性时序逻辑
全选 清除 导出
共1页<1>
聚类工具0