Computer Aided Verification

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

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

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

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

Table of contents

  1. Front Matter
    Pages I-XIX
  2. Invited Contributions

    1. Front Matter
      Pages 1-1
    2. Xiaowei Huang, Marta Kwiatkowska, Sen Wang, Min Wu
      Pages 3-29
    3. Loris D’Antoni, Margus Veanes
      Pages 47-67
    4. Xujie Si, Xin Zhang, Radu Grigore, Mayur Naik
      Pages 68-94
  3. Probabilistic Systems

    1. Front Matter
      Pages 95-95
    2. Guy Katz, Clark Barrett, David L. Dill, Kyle Julian, Mykel J. Kochenderfer
      Pages 97-117
    3. Krishnendu Chatterjee, Hongfei Fu, Aniket Murhekar
      Pages 118-139
    4. Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen
      Pages 140-159
    5. Christel Baier, Joachim Klein, Linda Leuschner, David Parker, Sascha Wunderlich
      Pages 160-180
    6. Aws Albarghouthi, Loris D’Antoni, Samuel Drews
      Pages 181-200
    7. Pranav Ashok, Krishnendu Chatterjee, Przemysław Daca, Jan Křetínský, Tobias Meggendorfer
      Pages 201-221
  4. Data Driven Techniques

    1. Front Matter
      Pages 223-223
    2. Hendrik Roehm, Thomas Heinz, Eva Charlotte Mayer
      Pages 225-232
    3. Pavol Bielik, Veselin Raychev, Martin Vechev
      Pages 233-253
    4. Dana Drachsler-Cohen, Sharon Shoham, Eran Yahav
      Pages 254-278
    5. Sarah Chasins, Phitchaya Mangpo Phothilimthana
      Pages 279-304
    6. Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia
      Pages 305-325
  5. Runtime Verification

    1. Front Matter
      Pages 327-327
    2. Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl, Udo Hafner, Ezio Bartocci et al.
      Pages 336-355
    3. David Basin, Felix Klaedtke, Eugen Zălinescu
      Pages 356-376
  6. Cyber-Physical Systems

    1. Front Matter
      Pages 377-377
    2. Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul Jones, Scott A. Smolka, Radu Grosu
      Pages 379-400
    3. Stanley Bak, Parasara Sridhar Duggirala
      Pages 401-420
    4. Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege
      Pages 421-440
    5. Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan
      Pages 441-461
    6. Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas Cordeiro, Cristina David, Pascal Kesseli et al.
      Pages 462-482
    7. Arvind Adimoolam, Thao Dang, Alexandre Donzé, James Kapinski, Xiaoqing Jin
      Pages 483-503
  7. Concurrency

    1. Front Matter
      Pages 505-505
    2. Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania
      Pages 507-525
    3. Elvira Albert, Puri Arenas, María García de la Banda, Miguel Gómez-Zamalloa, Peter J. Stuckey
      Pages 526-543
    4. Matt Windsor, Mike Dodds, Ben Simner, Matthew J. Parkinson
      Pages 544-569
    5. Nikola Beneš, Luboš Brim, Martin Demko, Samuel Pastva, David Šafránek
      Pages 591-598
  8. Back Matter
    Pages 599-601

Other volumes

  1. Computer Aided Verification
    29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
  2. 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.


Software engineering Semantics Computer software selection and evaluation Artificial intelligence Model checking Verification Temporal logic Programming languages Specifications Learning systems Probability Neural networks Formal logic

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

Industry Sectors
IT & Software