搜索结果: 1-3 共查到“操作系统与操作环境 File System”相关记录3条 . 查询时间(0.062 秒)
Using Model Checking to Find Serious File System Errors
Model Checking Serious File System Errors
2015/8/7
This paper shows how to use model checking to find serious errors in file systems. Model checking is a formal verification technique tuned for finding corner-case errors by comprehensively exploring t...
西北工业大学操作系统课件 File System Management。
电子科技大学计算机操作系统课件Chapter 5 File System。