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