Volume 40, Issue 2

April 2012

Special issue on Computer Aided Verification (CAV'10)

Issue Editor:

8 articles in this issue

2010 CAV award announcement
Orna Grumberg
Moshe Y. Vardi
Rajeev Alur
Announcement 12 July 2011 Pages: 117 - 120
Preface
Tayssir Touili
EditorialNotes 22 February 2012 Pages: 121 - 121
Efficient emptiness check for timed Büchi automata
Frédéric Herbreteau
B. Srivathsan
Igor Walukiewicz
OriginalPaper 24 December 2011 Pages: 122 - 146
Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics
Satrajit Chatterjee
Michael Kishinevsky
OriginalPaper 07 January 2012 Pages: 147 - 169
Fences in weak memory models (extended version)
Jade Alglave
Luc Maranget
Peter Sewell
OriginalPaper 03 February 2012 Pages: 170 - 205
Bounded underapproximations
Pierre Ganty
Rupak Majumdar
Benjamin Monmege
OriginalPaper 04 January 2012 Pages: 206 - 231
Symbolic bounded synthesis
Rüdiger Ehlers
OriginalPaper 21 December 2011 Pages: 232 - 262
Achieving distributed control through model checking
Susanne Graf
Doron Peled
Sophie Quinton
OriginalPaper 04 January 2012 Pages: 263 - 281

Search