搜索结果: 1-1 共查到“操作系统与操作环境 System Errors”相关记录1条 . 查询时间(0.076 秒)
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...