HIL: A Framework for Compositional FTL Development and Provably-Correct Crash Recovery

Jin-Yong Choi, Eyee Hyun Nam, Yoon Jae Seong, Jinhyuk Yoon, Sookwan Lee, Hongseok Kim, Jeongsu Park, Yeong-Jae Woo, Sheayun Lee, Sang Lyul Min. HIL: A Framework for Compositional FTL Development and Provably-Correct Crash Recovery. TOS, 14(4), 2018. [doi]

Abstract

Abstract is missing.