Back to Results
First PageMeta Content



Proving Termination of Imperative Programs Using Max-SMT Daniel Larraz, Albert Oliveras, Enric Rodr´ıguez-Carbonell, Albert Rubio Universitat Polit`ecnica de Catalunya, Barcelona, Spain Abstract—We show how Max-SMT
Add to Reading List

Document Date: 2013-07-22 05:25:54


Open Document

File Size: 196,82 KB

Share Result on Facebook