Deciding Conditional Termination

DOI10.2168/LMCS-10(3:8)2014zbMath1338.68047MaRDI QIDQ5891476

Marius Bozga, Radu Iosif, Filip Konečný

Publication date: 5 September 2014

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

integer programsrecurrent setsperiodic relationstermination preconditions

Mathematics Subject Classification ID

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

Related Items

A Calculus for Modular Loop Acceleration ⋮ Proving Termination Through Conditional Termination ⋮ A second-order formulation of non-termination

Uses Software

• FLATA