Computer Aided Verification

26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings

  • Armin Biere
  • Roderick Bloem

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8559)

Table of contents

  1. Front Matter
  2. Software Verification

    1. Jean-Christophe Filliâtre, Léon Gondelman, Andrei Paskevich
      Pages 1-16
    2. Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki
      Pages 17-34
    3. Shachar Itzhaky, Nikolaj Bjørner, Thomas Reps, Mooly Sagiv, Aditya Thakur
      Pages 35-51
    4. Quang Loc Le, Cristian Gherghina, Shengchao Qin, Wei-Ngan Chin
      Pages 52-68
    5. Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider
      Pages 69-87
    6. Zvonimir Rakamarić, Michael Emmi
      Pages 106-113
  3. Security

    1. Omar Chowdhury, Limin Jia, Deepak Garg, Anupam Datta
      Pages 131-149
    2. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukáš Holík, Ahmed Rezine, Philipp Rümmer et al.
      Pages 150-166
    3. Sudeep Kanav, Peter Lammich, Andrei Popescu
      Pages 167-183
    4. Anna Lisa Ferrara, P. Madhusudan, Truc L. Nguyen, Gennaro Parlato
      Pages 184-191
  4. Automata

    1. Javier Esparza, Jan Křetínský
      Pages 192-208
    2. Loris D’Antoni, Rajeev Alur
      Pages 209-225
  5. Model Checking and Testing

    1. Ethel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson et al.
      Pages 226-242
    2. Kenneth L. McMillan
      Pages 243-259
    3. Yakir Vizel, Arie Gurfinkel
      Pages 260-276
    4. Jesse Bingham, Joe Leslie-Hurd
      Pages 277-292
    5. Milos Gligoric, Rupak Majumdar, Rohan Sharma, Lamyaa Eloussi, Darko Marinov
      Pages 293-309
    6. Anton Wijs, Joost-Pieter Katoen, Dragan Bošnački
      Pages 310-326
    7. Dirk Beyer, Georg Dresler, Philipp Wendler
      Pages 327-333
    8. Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli et al.
      Pages 334-342
  6. Biology and Hybrid Systems

    1. Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler
      Pages 343-357
    2. Byron Cook, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Garvit Juniwal, Nir Piterman
      Pages 358-372
    3. Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Kwiatkowska
      Pages 373-390
    4. Henri Hansen, Shang-Wei Lin, Yang Liu, Truong Khanh Nguyen, Jun Sun
      Pages 391-406
    5. Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
      Pages 424-440
  7. Games and Synthesis

    1. Rodica Bozianu, Cătălin Dima, Emmanuel Filiot
      Pages 441-456
    2. Tomáš Brázdil, David Klaška, Antonín Kučera, Petr Novotný
      Pages 457-472
    3. Krishnendu Chatterjee, Martin Chmelík, Przemysław Daca
      Pages 473-490
    4. Thomas Dillig, Isil Dillig, Swarat Chaudhuri
      Pages 491-507
    5. Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl
      Pages 508-524
    6. Petr Čermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano
      Pages 525-532
    7. Nina Narodytska, Alexander Legg, Fahiem Bacchus, Leonid Ryzhyk, Adam Walker
      Pages 533-540
    8. Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann
      Pages 541-549
  8. Concurrency

    1. Mohsen Lesani, Todd Millstein, Jens Palsberg
      Pages 550-567
    2. Pavol Černý, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
      Pages 568-584
    3. Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
      Pages 585-602
    4. Javier Esparza, Ruslán Ledesma-Garza, Rupak Majumdar, Philipp Meyer, Filip Niksic
      Pages 603-619
    5. Alejandro Sánchez, César Sánchez
      Pages 620-627
  9. SMT and Theorem Proving

    1. Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
      Pages 628-645
    2. Tianyi Liang, Andrew Reynolds, Cesare Tinelli, Clark Barrett, Morgan Deters
      Pages 646-662
    3. Liana Hadarean, Kshitij Bansal, Dejan Jovanović, Clark Barrett, Cesare Tinelli
      Pages 680-695
    4. Ruzica Piskac, Thomas Wies, Damien Zufferey
      Pages 711-728
    5. Ashish Tiwari, Patrick Lincoln
      Pages 729-736
    6. Bruno Dutertre
      Pages 737-744

About these proceedings


This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination; and abstraction.


artificial intelligence concurrency formal languages and automata theory formal methods formal methods and theory of security formal software verification hardware verification and validation logic logic and verification model checking program reasoning semantics and reasoning software engineering software functional properties software verification and validation solvers theorem proving verification by model checking

Editors and affiliations

  • Armin Biere
    • 1
  • Roderick Bloem
    • 2
  1. 1.Johannes Kepler University LinzLinzAustria
  2. 2.IAIKGraz University of TechnologyGrazAustria

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-08866-2
  • Online ISBN 978-3-319-08867-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site