Proving thread termination.

Byron Cook, Andreas Podelski, Andrey Rybalchenko

Browse the full PLDI paper archive.