基于分离逻辑的云存储系统验证

著录项

• 来源
  《计算机学报》 |2020年第12期|2227-2240|共14页
• 作者

  金钊; 王捍贫; 张博闻; 张磊; 曹永知;

  展开▼
• 作者单位

  北京大学计算机科学与技术系 北京 100871;

  高可信软件技术教育部重点实验室(北京大学) 北京 100871;

  北京大学计算机科学与技术系 北京 100871;

  广州大学计算机科学与网络工程学院 广州 510006;

  高可信软件技术教育部重点实验室(北京大学) 北京 100871;

  北京大学计算机科学与技术系 北京 100871;

  高可信软件技术教育部重点实验室(北京大学) 北京 100871;

  北京大学计算机科学与技术系 北京 100871;

  高可信软件技术教育部重点实验室(北京大学) 北京 100871;

  北京大学计算机科学与技术系 北京 100871;

  高可信软件技术教育部重点实验室(北京大学) 北京 100871;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 程序设计、软件工程;
• 关键词

  分离逻辑; 霍尔逻辑; 云存储系统; 建模语言; 形式验证;