Size-Change Termination and Transition Invariants

  • Matthias Heizmann
  • Neil D. Jones
  • Andreas Podelski
Conference paper

DOI: 10.1007/978-3-642-15769-1_4

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6337)
Cite this paper as:
Heizmann M., Jones N.D., Podelski A. (2010) Size-Change Termination and Transition Invariants. In: Cousot R., Martel M. (eds) Static Analysis. SAS 2010. Lecture Notes in Computer Science, vol 6337. Springer, Berlin, Heidelberg

Abstract

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 this direction.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Matthias Heizmann
    • 1
  • Neil D. Jones
    • 2
  • Andreas Podelski
    • 1
  1. 1.University of FreiburgGermany
  2. 2.University of CopenhagenDenmark

Personalised recommendations