Testing Persistent Memory Programs
“How can one check a large routine in the sense of making sure that it’s right? The programmer should make a number of definite assertions which can be checked individually, and from which the correctness of the whole program easily follows.” – Alan Turing Programming for persistent memory is hard Persistent memory unifies the functionality…