Robustness Verification for Checking Crash Consistency of Non-volatile Memory

Published in ASPLOS25: Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025