Size-Change Termination and Transition Invariants

  title={Size-Change Termination and Transition Invariants},
  author={Matthias Heizmann and Neil D. Jones and Andreas Podelski},
Two directions of recent work on program termination use the concepts of size-change termination resp. transition invariants. The difference in the setting has as consequence the inherent incomparability of the analysis and verification methods that result from this work. Yet, in order to facilitate the crossover of ideas and techniques in further developments, it seems interesting to identify which aspects in the respective formal foundation are related. This paper presents initial results in… CONTINUE READING
Highly Cited
This paper has 34 citations. REVIEW CITATIONS

From This Paper

Figures and tables from this paper.


Publications referenced by this paper.
Showing 1-10 of 48 references

Jones , and Andreas Podelski . Size - change termination and transition invariants ( online version )

  • D Neil
  • In POPL ’ 09 : Proceedings of the 36 th annual…
  • 2010

Size-change termination and transition invariants (online version)

  • Matthias Heizmann, Neil D. Jones, Andreas Podelski
  • 2010
1 Excerpt

Ben - Amram . A complexity tradeoff in ranking - function termination proofs

  • M Amir
  • Acta Informatica
  • 2009

Similar Papers

Loading similar papers…