Context-bounded model checking of concurrent software (2005)

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