Verifying multi-threaded software with impact.

Bjrn Wachter, Daniel Kroening, Jol Ouaknine

Browse the full FMCAD paper archive.