Proving that programs eventually do something good.

Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi

Browse the full POPL paper archive.