基于Isabelle/HOL的文件系统形式化设计与验证
王文斌, 钱振江, 靳勇, 孙高飞, 邢晓双, 苏超, 孙天琦
Formal Design and Verification of File System Based on Isabelle/HOL
WANG Wenbin, QIAN Zhenjiang, JIN Yong, SUN Gaofei, XING Xiaoshuang, SU Chao, SUN Tianqi
计算机工程
.
2024, (4): 277
-285
.
DOI: 10.19678/j.issn.1000-3428.0067091
