Verifying Multi−threaded Software with Impact (FMCAD, 2013)

(untitled) - Wachter, B; Kroening, D; Ouakine, J