Computer Aided Verification

30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

  • Hana Chockler
  • Georg Weissenbacher
Open Access
Conference proceedings
CAV 2018

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

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

Table of contents

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

    1. Front Matter
      Pages 1-1
    2. Tommaso Dreossi, Somesh Jha, Sanjit A. Seshia
      Pages 3-26 Open Access
    3. Eran Yahav
      Pages 27-37 Open Access
  3. Tutorials

    1. Front Matter
      Pages 49-49
    2. Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
      Pages 51-78 Open Access
    3. Bernhard Kragl, Shaz Qadeer
      Pages 79-102 Open Access
  4. Model Checking

    1. Front Matter
      Pages 103-103
    2. Yuki Satake, Hiroshi Unno
      Pages 105-123 Open Access
    3. Grigory Fedyukovich, Yueling Zhang, Aarti Gupta
      Pages 124-143 Open Access
    4. Bernd Finkbeiner, Christopher Hahn, Hazem Torfah
      Pages 144-163 Open Access
    5. Lauren Pick, Grigory Fedyukovich, Aarti Gupta
      Pages 164-182 Open Access
    6. Lucas Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, Marek Trtik
      Pages 183-190 Open Access
    7. Kenneth L. McMillan
      Pages 191-208 Open Access
  5. Program Analysis Using Polyhedra

    1. Front Matter
      Pages 209-209
    2. Gagandeep Singh, Markus Püschel, Martin Vechev
      Pages 211-229 Open Access
    3. Anna Becchi, Enea Zaffanella
      Pages 230-248 Open Access
  6. Synthesis

    1. Front Matter
      Pages 249-249
    2. S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah
      Pages 251-269 Open Access
    3. Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
      Pages 270-288 Open Access
    4. Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
      Pages 289-306 Open Access
    5. Daniel J. Fremont, Sanjit A. Seshia
      Pages 307-326 Open Access
    6. Aws Albarghouthi, Justin Hsu
      Pages 327-346 Open Access
    7. Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan
      Pages 347-366 Open Access
    8. Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa’ar
      Pages 367-385 Open Access
    9. Qinheping Hu, Loris D’Antoni
      Pages 386-403 Open Access
  7. Learning

    1. Front Matter
      Pages 405-405
    2. Xinyu Wang, Greg Anderson, Isil Dillig, K. L. McMillan
      Pages 407-426 Open Access
    3. George Argyros, Loris D’Antoni
      Pages 427-445 Open Access
  8. Runtime Verification, Hybrid and Timed Systems

    1. Front Matter
      Pages 447-447
    2. Hui Kong, Ezio Bartocci, Thomas A. Henzinger
      Pages 449-467 Open Access
    3. Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger
      Pages 468-486 Open Access
    4. Michael Emmi, Constantin Enea
      Pages 487-506 Open Access
    5. Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia, Naijun Zhan
      Pages 507-526 Open Access
    6. Frederik M. Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jiří Srba
      Pages 527-546 Open Access
    7. Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Roeck
      Pages 547-564 Open Access
  9. Tools

    1. Front Matter
      Pages 565-565
    2. Jan Křetínský, Tobias Meggendorfer, Salomon Sickert, Christopher Ziegler
      Pages 567-577 Open Access
    3. Philipp J. Meyer, Salomon Sickert, Michael Luttenberger
      Pages 578-586 Open Access
    4. Aina Niemetz, Mathias Preiner, Clifford Wolf, Armin Biere
      Pages 587-595 Open Access
    5. Marco Eilers, Peter Müller
      Pages 596-603 Open Access
    6. Michael Blondin, Javier Esparza, Stefan Jaax
      Pages 604-611 Open Access
    7. Milan Češka, Jiří Matyáš, Vojtech Mrazek, Lukas Sekanina, Zdenek Vasicek, Tomáš Vojnar
      Pages 612-620 Open Access
  10. Probabilistic Systems

    1. Front Matter
      Pages 621-621
    2. Edon Kelmendi, Julia Krämer, Jan Křetínský, Maximilian Weininger
      Pages 623-642 Open Access
    3. Tim Quatmann, Joost-Pieter Katoen
      Pages 643-661 Open Access
    4. Weichao Zhou, Wenchao Li
      Pages 662-680 Open Access
    5. Qiyi Tang, Franck van Breugel
      Pages 681-699 Open Access
  11. Back Matter
    Pages 701-703

Other volumes

  1. Computer Aided Verification
    30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
  2. 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

About these proceedings


This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.

The 52 full and 13 tool papers presented  together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.


artificial intelligence data security decision theory evolutionary algorithms formal logic formal methods formal verifications genetic algorithms learning algorithms model checker model checking program compilers programming languages satisfiability semantics software engineering software evaluation specifications static analysis verification

Editors and affiliations

  1. 1.King’s CollegeLondonUnited Kingdom
  2. 2.TU WienViennaAustria

Bibliographic information

  • DOI
  • Copyright Information The Editor(s) (if applicable) and The Author(s) 2018
  • License CC BY
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-96144-6
  • Online ISBN 978-3-319-96145-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site