GEM: A Tool for Concurrency Specification and Verification.

Amy L. Lansky, Susan S. Owicki

Browse the full PODC paper archive.