Volume 47, Issue 1

August 2015

Special issue on CAV 2013

Issue Editors:

6 articles in this issue

On recursion-free Horn clauses and Craig interpolation
Philipp Rümmer
Hossein Hojjat
Viktor Kuncak
OriginalPaper 03 December 2014 Pages: 1 - 25
Program repair without regret
Christian von Essen
Barbara Jobstmann
OriginalPaper 24 February 2015 Pages: 26 - 50
Efficient generation of small interpolants in CNF
Yakir Vizel
Alexander Nadel
Vadim Ryvchin
OriginalPaper 26 February 2015 Pages: 51 - 74
Under-approximating loops in C programs for fast counterexample detection
Daniel Kroening
Matt Lewis
Georg Weissenbacher
OriginalPaper Open access 17 April 2015 Pages: 75 - 92
Extended symbolic finite automata and transducers
Loris D’Antoni
Margus Veanes
OriginalPaper 07 July 2015 Pages: 93 - 119
Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists
Pranav Garg
Christof Löding
Daniel Neider
OriginalPaper 25 August 2015 Pages: 120 - 157

Search