Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

  • Rupak Majumdar
  • Viktor Kunčak
Conference proceedings CAV 2017

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10427)

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
  5. Synthesis

    1. Front Matter
      Pages 323-323
    2. Peter Faymonville, Bernd Finkbeiner, Leander Tentrup
      Pages 325-332
    3. Ayrat Khalimov, Roderick Bloem
      Pages 333-352
    4. Shaull Almagor, Orna Kupferman, Jan Oliver Ringert, Yaron Velner
      Pages 353-374
    5. Luca Cardelli, Milan Češka, Martin Fränzle, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti et al.
      Pages 375-395
  6. Decision Procedures and Their Applications

    1. Front Matter
      Pages 397-397
    2. Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar
      Pages 399-418
    3. Sylvain Conchon, Mohamed Iguernlala, Kailiang Ji, Guillaume Melquiond, Clément Fumex
      Pages 419-435
    4. Andrew Reynolds, Maverick Woo, Clark Barrett, David Brumley, Tianyi Liang, Cesare Tinelli
      Pages 453-474
    5. Quang Loc Le, Makoto Tatsuta, Jun Sun, Wei-Ngan Chin
      Pages 495-517
  7. Software Analysis

    1. Front Matter
      Pages 519-519
    2. Andrei Marian Dan, Manu Sridharan, Satish Chandra, Jean-Baptiste Jeannin, Martin Vechev
      Pages 521-541
    3. Ahmed Bouajjani, Michael Emmi, Constantin Enea, Suha Orhun Mutluergil
      Pages 542-563
    4. Bernd Finkbeiner, Christopher Hahn, Marvin Stenger
      Pages 564-570
    5. Hiroshi Unno, Sho Torii, Hiroki Sakamoto
      Pages 571-591
    6. Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk
      Pages 592-600
    7. Amir M. Ben-Amram, Samir Genaim
      Pages 601-620
  8. Back Matter
    Pages 621-623

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
  • Buy this book on publisher's site