Over-approximating Boolean programs with unbounded thread creation (0)

by B Cook, D Kroening, N Sharygina
Venue:in Proc. FMCAD, 2006