Context-bounded model checking of concurrent software. (2005)

by S Qadeer, J Rehof
Venue:TACAS 2005. LNCS,