Size-Change Termination, Monotonicity Constraints and Ranking Functions

DOI10.2168/LMCS-6(3:2)2010zbMath1191.68179OpenAlexW2949392484MaRDI QIDQ5901015

Amir M. Ben-Amram

Publication date: 27 July 2010

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-6(3:2)2010

zbMATH Keywords

program analysisterminationranking functionsSCT

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

On the Termination of Integer Loops ⋮ Verification of Gap-Order Constraint Abstractions of Counter Systems ⋮ A type-based complexity analysis of object oriented programs ⋮ Verification of gap-order constraint abstractions of counter systems

This page was built for publication: Size-Change Termination, Monotonicity Constraints and Ranking Functions