A new look at the automatic synthesis of linear ranking functions

DOI10.1016/j.ic.2012.03.003zbMath1251.68073MaRDI QIDQ714505

Enea Zaffanella, Roberto Bagnara, Fred Mesnard, Andrea Pescetti

Publication date: 11 October 2012

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2012.03.003

zbMATH Keywords

static analysis; termination analysis; computer-aided verification

Mathematics Subject Classification ID

68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

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

Uses Software

• PPL