Termination proofs for systems code.

Byron Cook, Andreas Podelski, Andrey Rybalchenko

Browse the full PLDI paper archive.