Proving Non-termination Using Max-SMT.

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

Browse the full CAV paper archive.