Robustness Verification for Checking Crash Consistency of Non-volatile Memory.

Zhilei Han, Fei He

Browse the full ASPLOS paper archive.