Towards Verifying Crash Consistency.

Wed, 01 Jan 2025 00:00:00 +0100

Keonho Lee , Conan Truong , Brian Demsky:
Towards Verifying Crash Consistency. Proc. ACM Program. Lang. 9(OOPSLA2): 753-783 (2025)