Model-Checking of Correctness Conditions for Concurrent Objects.

Rajeev Alur, Kenneth L. McMillan, Doron A. Peled

Browse the full LICS paper archive.