Over-Approximating Boolean Programs with Unbounded Thread Creation.

Byron Cook, Daniel Kroening, Natasha Sharygina

Browse the full FMCAD paper archive.