Verifying Opacity of a Transactional Mutex Lock.

John Derrick, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim

Browse the full FM paper archive.