Proving termination of imperative programs using Max-SMT.

Daniel Larraz, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio

Browse the full FMCAD paper archive.