位置：立项数据库 > 立项详情页
基于分离逻辑的云存储管理程序正确性验证方法
  • 项目名称：基于分离逻辑的云存储管理程序正确性验证方法
  • 项目类别：面上项目
  • 批准号：61572003
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：王捍贫
  • 依托单位：北京大学
  • 批准年度：2015
王捍贫的项目
　基于正确性验证的ｗｅｂ服务可信性研究
期刊论文 2
基于Petri网的构件组装正确性研究
期刊论文 9 会议论文 12
混成系统的描述与验证理论研究
期刊论文 12 会议论文 3
基于分离逻辑的程序验证方法研究
期刊论文 9 获奖 2