Size-Change Termination and Transition Invariants

DOI10.1007/978-3-642-15769-1_4zbMath1306.68028OpenAlexW1755589398WikidataQ57483913 ScholiaQ57483913MaRDI QIDQ4930716

Andreas Podelski, Matthias Heizmann, Neil D. Jones

Publication date: 1 October 2010

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15769-1_4

Mathematics Subject Classification ID

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

Related Items (6)

Predicate Abstraction for Program Verification ⋮ On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics ⋮ Reasoning about multi-stage programs ⋮ The Strength of the SCT Criterion ⋮ Loop Summarization and Termination Analysis ⋮ Loop summarization using state and transition invariants

This page was built for publication: Size-Change Termination and Transition Invariants