Volume 41, Issue 1

August 2012

Special issue on Computer Aided Verification (CAV '11)

Issue Editors:

8 articles in this issue

2011 CAV award announcement
Moshe Y. Vardi
Thomas A. Henzinger
Marta Kwiatkowska
OriginalPaper 04 April 2012 Pages: 1 - 2
Preface
Ganesh L. Gopalakrishnan
Shaz Qadeer
EditorialNotes 30 March 2012 Pages: 3 - 3
A divide-and-conquer approach for analysing overlaid data structures
Oukseh Lee
Hongseok Yang
Rasmus Petersen
OriginalPaper 12 April 2012 Pages: 4 - 24
Counterexample-guided abstraction refinement for symmetric concurrent programs
Alastair F. Donaldson
Alexander Kaiser
Thomas Wahl
OriginalPaper 25 April 2012 Pages: 25 - 44
Unified QBF certification and its applications
Valeriy Balabanov
Jie-Hong R. Jiang
OriginalPaper 17 April 2012 Pages: 45 - 65
Temporal property verification as a program analysis task
Byron Cook
Eric Koskinen
Moshe Vardi
OriginalPaper 27 April 2012 Pages: 66 - 82
Forest automata for verification of heap manipulation
Peter Habermehl
Lukáš Holík
Tomáš Vojnar
OriginalPaper 11 April 2012 Pages: 83 - 106
Recognizing malicious software behaviors with tree automata inference
Domagoj Babić
Daniel Reynaud
Dawn Song
OriginalPaper 11 April 2012 Pages: 107 - 128

Search