Context-bounded model checking of concurrent software (2005)

by Shaz Qadeer Jakob Rehof
Venue:In TACAS
Citations:103 - 5 self