搜索结果: 1-2 共查到“计算机科学技术 System Errors”相关记录2条 . 查询时间(0.109 秒)
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...
EXPLODE:a Lightweight,General System for Finding Serious Storage System Errors
EXPLODE Lightweight General System Serious Storage System Errors
2015/8/7
Storage systems such as file systems, databases, and RAID systems have a simple, basic contract: you give them data, they do not lose or corrupt it. Often they store the only copy, making its irrevoca...