Conflict-driven conditional termination

DOI10.1007/978-3-319-21668-3_16zbMath1381.68155OpenAlexW1025122386MaRDI QIDQ1702895

Vijay D'Silva, Caterina Urban

Publication date: 1 March 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-21668-3_16

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

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

• Apron
• Ultimate Automizer
• AProVE
• FuncTion