Predicate abstraction and refinement for verifying multi-threaded programs.

Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko

Browse the full POPL paper archive.