Load balanced parallel program verification on a shared memory machine.

Stijn Bijnens, Wouter Joosen, Yolande Berbers

Browse the full PDP paper archive.