搜索结果: 1-1 共查到“操作系统与操作环境 Serious File”相关记录1条 . 查询时间(0.062 秒)
Using Model Checking to Find Serious File System Errors
Model Checking Serious File System Errors
font style='font-size:12px;'>
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...