Context-Bounded Model Checking of Concurrent Software.

Shaz Qadeer, Jakob Rehof

Browse the full TACAS paper archive.