Storage Systems are Distributed Systems (So Verify Them That Way!)
Storage Systems are Distributed Systems (So Verify Them That Way!)
复制标题
存储系统是分布式系统（因此请以这种方式验证它们！）
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Parno, Bryan
中科院分区：
文献类型：
--
作者：
Hance, Travis;Lattuada, Andrea;Hawblitzel, Chris;Howell, Jon;Johnson, Rob;Parno, Bryan
登录
查看更多内容
通过崩溃优化对文件系统进行一键式验证
DOI：
--
发表时间：
2016
期刊：
USENIX Annual Technical Conference
影响因子：
--
作者：
Helgi Sigurbjarnarson;James Bornholt;Nicolas Christin;L. Cranor
通讯作者：
L. Cranor
动态框架：支持无限制的框架、依赖和共享
DOI：
--
发表时间：
2006
期刊：
World Congress on Formal Methods
影响因子：
--
作者：
Ioannis T. Kassios
通讯作者：
Ioannis T. Kassios
使用 CSPEC 中的移动器验证并发软件
DOI：
--
发表时间：
2018
期刊：
USENIX Symposium on Operating Systems Design and Implementation
影响因子：
--
作者：
Tej Chajed;Frans Kaashoek;Mit Csail;Microsoft Butler Lampson;Nickolai Zeldovich;M. Kaashoek;Microsoft Research
通讯作者：
Microsoft Research
DOI：
--
发表时间：
2019
期刊：
Handbook of Server Management and Administration 1999
影响因子：
--
作者：
Steven R. Marks
通讯作者：
Steven R. Marks
对 DAM 的小改进可能会对数据结构设计产生重大影响
DOI：
--
发表时间：
2019
期刊：
ACM Symposium on Parallelism in Algorithms and Architectures
影响因子：
--
作者：
M. A. Bender;Alex Conway;Martín Farach;William K. Jannen;Yizheng Jiao;Rob Johnson;Eric R. Knorr;Sara McAllister;Nirjhar Mukherjee;P. Pandey;Donald E. Porter;Jun Yuan;Yang Zhan
通讯作者：
Yang Zhan