On multiphase-linear ranking functions

DOI10.1007/978-3-319-63390-9_32zbMath1494.68049arXiv1703.07547OpenAlexW2605065382MaRDI QIDQ2164261

Samir Genaim, Amir M. Ben-Amram

Publication date: 12 August 2022

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

Mathematics Subject Classification ID

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

Related Items (10)

Reflections on termination of linear loops ⋮ Decision tree learning in CEGIS-based termination analysis ⋮ What's decidable about discrete linear dynamical systems? ⋮ Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Inferring expected runtimes of probabilistic integer programs using expected sizes ⋮ Synthesizing ranking functions for loop programs via SVM ⋮ Automatic complexity analysis of integer programs via triangular weakly non-linear loops ⋮ Algebraic model checking for discrete linear dynamical systems

This page was built for publication: On multiphase-linear ranking functions