A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms.

Lei Qiao, Shaofeng Li, Hua Yang, Mengfei Yang

Browse the full SETTA paper archive.