Context-bounded model checking of concurrent software (2005)

by Shaz Qadeer Jakob Rehof
Venue:In TACAS
Citations:114 - 6 self