Conflict-driven conditional termination
From MaRDI portal
Publication:1702895
DOI10.1007/978-3-319-21668-3_16zbMath1381.68155OpenAlexW1025122386MaRDI QIDQ1702895
Publication date: 1 March 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-21668-3_16
Related Items
Abstract interpretation as automated deduction, Automatically proving termination and memory safety for programs with pointer arithmetic, Reflections on termination of linear loops, Proving Termination Through Conditional Termination, Inference of ranking functions for proving temporal properties by abstract interpretation
Uses Software