SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany

First Page		Document Content
Date: 2011-06-23 09:19:29 Theoretical computer science Computing Software engineering Logic in computer science Automated theorem proving Static program analysis Termination analysis Rewriting KeY Automated reasoning Bytecode Christoph Walther		SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany Add to Reading List Source URL: www.dcs.bbk.ac.uk Download Document from Source Website File Size: 231,59 KB Share Document on Facebook

	Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK DocID: 1xVY6 - View Document
	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Exploiting Traces in Static Program Analysis Better Model Checking through printfs Alex Groce, Rajeev Joshi DocID: 1xTqe - View Document
	International Journal of Computer Science and Software Engineering (IJCSSE), Volume 7, Issue 1, January 2018 ISSN (Online): www.IJCSSE.org Page: A Development of Static Analysis Program and Its Applicati DocID: 1uyDi - View Document
	Explaining Program Failures via Postmortem Static Analysis Roman Manevich Tel Aviv University Manu Sridharan DocID: 1tOhr - View Document
	Static Differential Program Analysis for Software-Defined Networks Tim Nelson, Andrew D. Ferguson, and Shriram Krishnamurthi Brown University Abstract. Networks are increasingly controlled by software, and bad DocID: 1tMSm - View Document