Malay K. Ganai, Sudipta Kundu. Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions. In Corina S. Pasareanu, editor, Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings. Volume 5578 of Lecture Notes in Computer Science, pages 68-87, Springer, 2009. [doi]
Abstract is missing.