Accepted Papers

Louise Abigail Dennis
Program Slicing and Middle-Out Reasoning for Error Location and Repair

André Rognes
Automated relative consistency proving

Mahadevan Subramaniam, Deepak Kapur, and Stephan Falke
Predicting Failures of Inductive Proof Attempts

Markus Aderhold, Christoph Walther, Daniel Szallies, and Andreas Schlosser
A Fast Disprover for VeriFun

Lee Pike, Paul Miner, and Wilfredo Torres-Pomales
Diagnosing a Failed Proof in Fault-Tolerance: A Disproving Challenge Problem

Peter Baumgartner, Alexander Fuchs, Cesare Tinelli, and Hans de Nivelle
Computing Finite Models by Reduction to Function-Free Clause Logic

Thomas Hillenbrand, Dalibor Topic, and Christoph Weidenbach
Sudokus as Logical Puzzles

Juan Carlos López Pimentel, Raúl Monroy, and Dieter Hutter
A method for patching interleaving-replay attacks in faulty security protocols