Hiroyuki Iiboshi, Tomoharu Ugawa: Towards Model Checking Library for Persistent Data Structures. NVMSA 2018: 119-120