Size-Change Termination, Monotonicity Constraints and Ranking Functions

DOI10.1007/978-3-642-02658-4_12zbMath1242.68061arXiv1005.0253OpenAlexW2129883154MaRDI QIDQ5902130

Amir M. Ben-Amram

Publication date: 30 June 2009

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1005.0253

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

More Precise Yet Widely Applicable Cost Analysis

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