I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Transition Invariants and Transition Predicate Abstraction for Program Termination

Reference:

Andreas Podelski and Andrey Rybalchenko. Transition invariants and transition predicate abstraction for program termination. In Abdulla and Leino, pages 3–10.

Suggested BibTeX entry:

@inproceedings{DBLP:conftacasPodelskiR11,
    author = {Andreas Podelski and Andrey Rybalchenko},
    booktitle = {TACAS},
    editor = {Parosh Aziz Abdulla and K. Rustan M. Leino},
    pages = {3-10},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Transition Invariants and Transition Predicate Abstraction for Program Termination},
    volume = {6605},
    year = {2011}
}

This work is not available online here.