Volume 48, Issue 3

June 2016

Special issue: CAV 2014

Issue Editors:

7 articles in this issue

2014 CAV award announcement
Marta Kwiatkowska
Moshe Y. Vardi
Thomas Ball
EditorialNotes 06 April 2016 Pages: 149 - 151
The spirit of ghost code
Jean-Christophe Filliâtre
Léon Gondelman
Andrei Paskevich
OriginalPaper 06 April 2016 Pages: 152 - 174
SMT-based model checking for recursive programs
Anvesh Komuravelli
Arie Gurfinkel
Sagar Chaki
OriginalPaper 25 August 2016 Pages: 175 - 205
An efficient SMT solver for string constraints
Tianyi Liang
Andrew Reynolds
Morgan Deters
OriginalPaper 05 April 2016 Pages: 206 - 234
From invariant checking to invariant inference using randomized search
Rahul Sharma
Alex Aiken
OriginalPaper 25 March 2016 Pages: 235 - 256
A search-based procedure for nonlinear real arithmetic
Ashish Tiwari
Patrick Lincoln
OriginalPaper 20 April 2016 Pages: 257 - 273
Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components
Anton Wijs
Joost-Pieter Katoen
Dragan Bošnački
OriginalPaper Open access 06 April 2016 Pages: 274 - 300

Search