Termination analysis with calling context graphs (2006)


Download Links

by Panagiotis Manolios , Daron Vroon
Venue:of Lecture Notes in Computer Science
Citations:27 - 6 self

Active Bibliography

Logic and Formal Languages]Mechanical Theorem Proving – Panagiotis Manolios, Daron Vroon
136 Termination proofs for systems code – Byron Cook, Andreas Podelski, Andrey Rybalchenko - 2006
5 Proving Termination by Divergence – Domagoj Babić, Alan J. Hu, Zvonimir Rakamarić, Byron Cook - 2007
Under consideration for publication in Formal Aspects of Computing Proving Termination of Nonlinear Command Sequences – Domagoj Babić, Byron Cook, Alan J. Hu, Zvonimir Rakamarić
Proving Termination by Divergence⋆ – Byron Cook, Alan J. Hu
38 Variance analyses from invariance analyses – Josh Berdine, Dino Distefano - 2007
40 Terminator: Beyond safety – R C Andreas, B Cook, A Podelski, A Rybalchenko
Abstract Variance Analyses From Invariance Analyses – Josh Berdine, Dino Distefano
Terminator: Beyond Safety (Tool Paper) – Byron Cook, Andreas Podelski, Andrey Rybalchenko