First Page | Document Content | |
---|---|---|
Date: 2013-07-22 05:25:54 | 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-SMTAdd to Reading ListSource URL: www.lsi.upc.eduDownload Document from Source WebsiteFile Size: 196,82 KBShare Document on Facebook |