Table of contents

  1. Front Matter
    Pages I-XVII
  2. Analysis of Software and Hardware

    1. Front Matter
      Pages 1-1
    2. Matthew Amy, Martin Roetteler, Krysta M. Svore
      Pages 3-21
    3. Valentin Touzeau, Claire Maïza, David Monniaux, Jan Reineke
      Pages 22-40
    4. Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
      Pages 41-63
    5. Quentin Carbonneaux, Jan Hoffmann, Thomas Reps, Zhong Shao
      Pages 64-85
    6. Adrià Gascón, Ashish Tiwari, Brent Carmer, Umang Mathur
      Pages 86-103
    7. Burak Ekici, Alain Mebsout, Cesare Tinelli, Chantal Keller, Guy Katz, Andrew Reynolds et al.
      Pages 126-133
  3. Foundations of Verification

    1. Front Matter
      Pages 135-135
    2. Olli Saarikivi, Margus Veanes
      Pages 176-196
    3. Marcelo Sousa, César Rodríguez, Vijay D’Silva, Daniel Kroening
      Pages 197-216
    4. Ognjen Marić, Christoph Sprenger, David Basin
      Pages 217-237
    5. Paul Beame, Vincent Liew
      Pages 238-258
  4. Distributed and Networked Systems

    1. Front Matter
      Pages 259-259
    2. Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev
      Pages 261-281
    3. Shelly Grossman, Sara Cohen, Shachar Itzhaky, Noam Rinetzky, Mooly Sagiv
      Pages 282-300
    4. Jedidiah McClurg, Hossein Hojjat, Pavol Černý
      Pages 301-321

Other volumes

  1. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
  2. Computer Aided Verification
    29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

About these proceedings


The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.

The total of 50 full and 7 short papers presented  together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. 

The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.


Semantics Software engineering Problem solving Theorem proving Computer software selection and evaluation Formal logic Parallel processing systems Programming languages Satisfiability Verification Specifications Program processors Program compilers Graph theory Constraint solving Computer aided design Data security

Editors and affiliations

  • Rupak Majumdar
    • 1
  • Viktor Kunčak
    • 2
  1. 1.Max Planck Institute for Software SystemsKaiserslauternGermany
  2. 2.School of Computer and Communication SciencesEPFL - IC - LARALausanneSwitzerland

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-63389-3
  • Online ISBN 978-3-319-63390-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book