Parameterized Verification of Multithreaded Software Libraries.

Thomas Ball, Sagar Chaki, Sriram K. Rajamani

Browse the full TACAS paper archive.