@inproceedings{cook2008proving,
author = {Cook, Byron and Gulwani, Sumit and Lev-Ami, Tal and Rybalchenko, Andrey and Sagiv, Mooly},
title = {Proving Conditional Termination},
booktitle = {CAV '08 Proceedings of the 20th international conference on Computer Aided Verification},
year = {2008},
month = {July},
abstract = {We describe a method for synthesizing reasonable underapproximations to weakest preconditions for termination---a long-standing open problem. The paper provides experimental evidence to demonstrate the usefulness of the new procedure.},
publisher = {Springer-Verlag Berlin, Heidelberg},
url = {http://approjects.co.za/?big=en-us/research/publication/proving-conditional-termination-2/},
pages = {328},
edition = {CAV '08 Proceedings of the 20th international conference on Computer Aided Verification},
}