Proving Conditional Termination

Cook, Byron; Gulwani, Sumit; Lev-Ami, Tal; Rybalchenko, Andrey; Sagiv, Mooly

doi:10.1007/978-3-540-70545-1_32

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Conference Paper

Proving Conditional Termination

MPS-Authors

/persons/resource/persons45328

Rybalchenko, Andrey
Group A. Rybalchenko, Max Planck Institute for Software Systems, Max Planck Society;
Programming Logics, MPI for Informatics, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

There are no public fulltexts stored in PuRe

Supplementary Material (public)

There is no public supplementary material available

Citation

Cook, B., Gulwani, S., Lev-Ami, T., Rybalchenko, A., & Sagiv, M. (2008). Proving Conditional Termination. In A. Gupta, & S. Malik (Eds.), Computer Aided Verification: 20th International Conference, CAV 2008 (pp. 328-340). New York, USA: Springer.

Cite as: https://hdl.handle.net/11858/00-001M-0000-0028-8C5C-4

Abstract

There is no abstract available