|国家科技期刊平台
| 注册
首页|期刊导航|计算机工程|基于Isabelle/HOL的文件系统形式化设计与验证

基于Isabelle/HOL的文件系统形式化设计与验证

王文斌 钱振江 靳勇 孙高飞 邢晓双 苏超 孙天琦

计算机工程2024，Vol.50Issue(4)：P.277-285,9.
✕
计算机工程2024，Vol.50Issue(4)：P.277-285,9.DOI:10.19678/j.issn.1000-3428.0067091

基于Isabelle/HOL的文件系统形式化设计与验证

王文斌 1钱振江 2靳勇 3孙高飞 3邢晓双 3苏超 3孙天琦3

作者信息

  • 1. 苏州大学计算机科学与技术学院,江苏苏州215000
  • 2. 苏州大学计算机科学与技术学院,江苏苏州215000 常熟理工学院计算机科学与工程学院,江苏苏州215500
  • 3. 常熟理工学院计算机科学与工程学院,江苏苏州215500
  • 折叠

摘要

关键词

形式化验证/文件系统/定理证明/有限状态机/微内核

分类

信息技术与安全科学

引用本文复制引用

王文斌,钱振江,靳勇,孙高飞,邢晓双,苏超,孙天琦..基于Isabelle/HOL的文件系统形式化设计与验证[J].计算机工程,2024,50(4):P.277-285,9.

基金项目

江苏省自然科学基金面上项目(BK20191475) （BK20191475）

常熟市社会发展项目(CS202204)。 （CS202204）

计算机工程

OA北大核心CSTPCD

1000-3428

访问量0
|
下载量0
段落导航相关论文