Parallel and distributed bounded model checking of multi-threaded programs.

Omar Inverso, Catia Trubiani

Browse the full PPoPP paper archive.