Verifying multi-threaded software using smt-based context-bounded model checking.

Lucas C. Cordeiro, Bernd Fischer

Browse the full ICSE paper archive.