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

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