Mo Zou, Haoran Ding, Dong Du, Ming Fu, Ronghui Gu, Haibo Chen. Using concurrent relational logic with helpers for verifying the AtomFS file system. In Tim Brecht, Carey Williamson, editors, Proceedings of the 27th ACM Symposium on Operating Systems Principles, SOSP 2019, Huntsville,, ON, Canada, October 27-30, 2019. pages 259-274, ACM, 2019. [doi]
Abstract is missing.