Ausgabe 1/2017
Special Issue: Selected Extended Papers of IJCAR 2014
Inhalt (8 Artikel)
Analyzing Program Termination and Complexity Automatically with AProVE
Jürgen Giesl, Cornelius Aschermann, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Jera Hensel, Carsten Otto, Martin Plücker, Peter Schneider-Kamp, Thomas Ströder, Stephanie Swiderski, René Thiemann
Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic
Thomas Ströder, Jürgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp, Cornelius Aschermann
Solution Validation and Extraction for QBF Preprocessing
Marijn J. H. Heule, Martina Seidl, Armin Biere
An Approximation Framework for Solvers and Decision Procedures
Aleksandar Zeljić, Christoph M. Wintersteiger, Philipp Rümmer
Soundness and Completeness Proofs by Coinductive Methods
Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel