Verifying Correctness of Persistent Concurrent Data Structures.

John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim

Browse the full FM paper archive.