Towards Model Checking Library for Persistent Data Structures. - Hiroyuki Iiboshi; Tomoharu Ugawa (NVMSA, 2018)