Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning
Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning
复制标题
使用顺序推理验证 DaisyNFS 并发和崩溃安全文件系统
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Zeldovich, Nickolai
中科院分区：
文献类型：
--
作者：
Chajed, Tej;Tassarotti, Joseph;Theng, Mark;Kaashoek, M. Frans;Zeldovich, Nickolai
登录
查看更多内容
Flashix：并发和崩溃安全闪存文件系统的模块化验证
DOI：
10.1007/978-3-030-76020-5_14
发表时间：
2021
期刊：
Sci. Comput. Program.
影响因子：
--
作者：
Stefan Bodenmüller;G. Schellhorn;Martin Bitterlich;W. Reif
通讯作者：
W. Reif
DOI：
10.1145/3314221.3314585
发表时间：
2019-06
期刊：
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
Tej Chajed;Joseph Tassarotti;M. Kaashoek;Nickolai Zeldovich
通讯作者：
Tej Chajed;Joseph Tassarotti;M. Kaashoek;Nickolai Zeldovich
通过崩溃优化对文件系统进行一键式验证
DOI：
--
发表时间：
2016
期刊：
USENIX Annual Technical Conference
影响因子：
--
作者：
Helgi Sigurbjarnarson;James Bornholt;Nicolas Christin;L. Cranor
通讯作者：
L. Cranor
影响因子：
22.7
作者：
LIPTON, RJ
通讯作者：
LIPTON, RJ
使用 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