Comprehensive evaluation of file systems robustness with SPIN model checking

Jingcheng Yuan, Toshiaki Aoki, Xiaoyun Guo. Comprehensive evaluation of file systems robustness with SPIN model checking. Softw. Test., Verif. Reliab., 32(6), 2022. [doi]

Abstract

Abstract is missing.