Advertisement

© 2018

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

    1. Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
      Pages 270-288 Open Access
    2. Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
      Pages 289-306 Open Access
    3. Daniel J. Fremont, Sanjit A. Seshia
      Pages 307-326 Open Access
    4. Aws Albarghouthi, Justin Hsu
      Pages 327-346 Open Access
    5. Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan
      Pages 347-366 Open Access
    6. Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa’ar
      Pages 367-385 Open Access
    7. Qinheping Hu, Loris D’Antoni
      Pages 386-403 Open Access
  2. 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
  3. 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
  4. 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

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

Introduction

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.

Keywords

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