A Complete Method for the Synthesis of Linear Ranking Functions.

Andreas Podelski, Andrey Rybalchenko

Browse the full VMCAI paper archive.