Using Model Checking to Find Serious File System Errors

机译：使用模型检查查找严重的文件系统错误

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Junfeng Yang; Paul Twohey; Dawson Engler;
展开▼
作者单位

展开▼
年度 2004
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Using Model Checking to Find Serious File System Errors [J] . JUNFENG YANG, PAUL TWOHEY, DAWSON ENGLER, ACM transactions on computer systems . 2006,第4期

机译：使用模型检查查找严重的文件系统错误
2. Specifying and Checking File System Crash-Consistency Models [J] . James Bornholt, Antoine Kaufmann, Jialin Li, Computer architecture news . 2016,第2期

机译：指定和检查文件系统崩溃一致性模型
3. Specifying and Checking File System Crash-Consistency Models [J] . Bornholt James, Kaufmann Antoine, Li Jialin, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2016,第4期

机译：指定和检查文件系统崩溃一致性模型
4. Using Model Checking to Find Serious File System Errors [C] . Junfeng Yang, Paul Twohey, Dawson Engler, Proceedings of the Sixth Symposium on Operating Systems Design and Implementation(OSDI'04) . 2004

机译：使用模型检查查找严重的文件系统错误
5. Automatic detection of serious storage system errors via model checking. [D] . Yang, Junfeng. 2008

机译：通过模型检查自动检测严重的存储系统错误。
6. Checking it twice: an evaluation of checklists for detecting medication errors at the bedside using a chemotherapy model [O] . Rachel E White, Patricia L Trbovich, Anthony C Easty, -1

机译：对其进行两次检查：使用化疗模型评估在床边检查用药错误的清单
7. Models and Software Model Checking of a Distributed File Replication System 1 [O] . Nikolaj Bjørner 2011

机译：分布式文件复制系统的模型和软件模型检查1
8. Model Checking Cache Coherence Protocols for Distributed File Systems [R] . Vaziri-Farahani, M. 1995

机译：模型检查分布式文件系统的缓存一致性协议

Using Model Checking to Find Serious File System Errors

著录项

引文网络

相似文献

相关主题

期刊订阅