Size-Change Termination, Monotonicity Constraints and Ranking Functions
From MaRDI portal
Publication:5901015
DOI10.2168/LMCS-6(3:2)2010zbMath1191.68179MaRDI QIDQ5901015
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
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
A type-based complexity analysis of object oriented programs, Verification of gap-order constraint abstractions of counter systems, On the Termination of Integer Loops, Verification of Gap-Order Constraint Abstractions of Counter Systems