Author:
Qiao Lei,Li Shaofeng,Yang Hua,Yang Mengfei
Publisher
Springer International Publishing
Reference18 articles.
1. Guo, Y.: The Coq Implementation of a Simple FTL Algorithm and the Functional Correctness Proof (2014)
2. Coq Development Team, INRIA: The Coq Proof Assistant Reference Manual (2012)
3. Apple Inc.: MacBook Air Flash Storage Drive Replacement Program (2013)
4. Klein, G., Elphinstone, K., Heiser, G.: seL4: formal verification of an OS kernel. In: Proceedings of SOSP 2009, pp. 207–220, October 2009
5. Lecture Notes in Computer Science;E Kang,2008
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Modeling and Verification of Security Properties of a Ransomware-Resistant SSD;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2022