...
机译:指定和检查文件系统崩溃一致性模型
University of Washington;
University of Washington;
University of Washington;
University of Washington;
University of Washington;
University of Washington;
Crash consistency; file systems; verification;
机译:指定和检查文件系统崩溃一致性模型
机译:使用模型检查查找严重的文件系统错误
机译:群集文件系统的高性能,多节点文件副本和校验和
机译:分布式文件复制系统的模型和软件模型检查
机译:将类型检查与模型检查相结合以进行系统验证
机译:利用概率模型检查对细胞膜系统进行建模和分析
机译:指定和检查文件系统崩溃 - 一致性模型
机译:模型检查分布式文件系统的缓存一致性协议