Skip to main content
  • Conference proceedings
  • Open Access
  • © 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

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): CAV: International Conference on Computer Aided Verification

Conference proceedings info: CAV 2018.

Buying options

Softcover Book USD 59.99
Price excludes VAT (USA)

Table of contents (39 papers)

  1. Front Matter

    Pages I-XIX
  2. Invited Papers

    1. Front Matter

      Pages 1-1
    2. Semantic Adversarial Deep Learning

      • Tommaso Dreossi, Somesh Jha, Sanjit A. Seshia
      Pages 3-26Open Access
    3. From Programs to Interpretable Deep Models and Back

      • Eran Yahav
      Pages 27-37Open Access
  3. Tutorials

    1. Front Matter

      Pages 49-49
    2. Foundations and Tools for the Static Analysis of Ethereum Smart Contracts

      • Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
      Pages 51-78Open Access
    3. Layered Concurrent Programs

      • Bernhard Kragl, Shaz Qadeer
      Pages 79-102Open Access
  4. Model Checking

    1. Front Matter

      Pages 103-103
    2. Propositional Dynamic Logic for Higher-Order Functional Programs

      • Yuki Satake, Hiroshi Unno
      Pages 105-123Open Access
    3. Syntax-Guided Termination Analysis

      • Grigory Fedyukovich, Yueling Zhang, Aarti Gupta
      Pages 124-143Open Access
    4. Model Checking Quantitative Hyperproperties

      • Bernd Finkbeiner, Christopher Hahn, Hazem Torfah
      Pages 144-163Open Access
    5. Exploiting Synchrony and Symmetry in Relational Verification

      • Lauren Pick, Grigory Fedyukovich, Aarti Gupta
      Pages 164-182Open Access
    6. JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode

      • Lucas Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, Marek Trtik
      Pages 183-190Open Access
    7. Eager Abstraction for Symbolic Model Checking

      • Kenneth L. McMillan
      Pages 191-208Open Access
  5. Program Analysis Using Polyhedra

    1. Front Matter

      Pages 209-209
    2. Fast Numerical Program Analysis with Reinforcement Learning

      • Gagandeep Singh, Markus Püschel, Martin Vechev
      Pages 211-229Open Access
    3. A Direct Encoding for NNC Polyhedra

      • Anna Becchi, Enea Zaffanella
      Pages 230-248Open Access
  6. Synthesis

    1. Front Matter

      Pages 249-249
    2. What’s Hard About Boolean Functional Synthesis?

      • S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah
      Pages 251-269Open 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. 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 II

About this book

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

  • King’s College, London, United Kingdom

    Hana Chockler

  • TU Wien, Vienna, Austria

    Georg Weissenbacher

Bibliographic Information

Buying options

Softcover Book USD 59.99
Price excludes VAT (USA)