Affiliation:
1. School of Information Science Japan Advanced Institute of Science and Technology Nomi Japan
Subject
Safety, Risk, Reliability and Quality,Software
Reference33 articles.
1. BornholtJ KaufmannA LiJ KrishnamurthyA TorlakE WangX.Specifying and checking file system crash‐consistency models. InInternational Conference on Architectural Support for Programming Languages and Operating Systems ‐ ASPLOS 02‐06‐Apri 2016;83–98.
2. CorbetJ.ext4 and data loss [LWN.net] 2009.https://lwn.net/Articles/322823/
3. Verifying a file system implementation;Arkoudas K;Lecture Notes Comput Sci (including subseries Lecture Notes Artif Intell Lect Notes Bioinformatics),2004
4. Model‐checking the Linux Virtual File System;Galloway A;Lecture Notes Comput Sci (including subseries Lecture Notes Artif Intell Lect Notes Bioinformatics),2009
5. YangJ TwoheyP EnglerD MusuvathiM.Using model checking to find serious file system errors. InOSDI 2004 ‐ 6th Symposium on Operating Systems Design and Implementation 2004;273–287.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model Checking of Intersection Traffic Control Protocols;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14