Termination Analysis of Programs with Bitvector Arithmetic by Symbolic Execution J¨ urgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany

First Page		Document Content
Date: 2016-09-11 10:26:10		Termination Analysis of Programs with Bitvector Arithmetic by Symbolic Execution J¨ urgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany Add to Reading List Source URL: cl-informatik.uibk.ac.at Download Document from Source Website File Size: 741,79 KB Share Document on Facebook