Reasoning About Loops Using Vampire in KeY? Wolfgang Ahrendt, Laura Kovács, and Simon Robillard Chalmers University of Technology We describe symbol elimination and consequence nding in

First Page		Document Content
Date: 2015-09-23 08:29:44		Reasoning About Loops Using Vampire in KeY? Wolfgang Ahrendt, Laura Kovács, and Simon Robillard Chalmers University of Technology We describe symbol elimination and consequence nding in Add to Reading List Source URL: www.cse.chalmers.se Download Document from Source Website File Size: 221,23 KB Share Document on Facebook