Skip to main content

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

  • Conference proceedings
  • Open Access
  • © 2018

You have full access to this open access Conference proceedings

Overview

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

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

Included in the following conference series:

Conference proceedings info: CAV 2018.

Buy print copy

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Softcover Book USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

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

Similar content being viewed by others

Keywords

Table of contents (31 papers)

  1. Tools

  2. Static Analysis

  3. Theory and Security

  4. SAT, SMT and Decision Procedures

Other volumes

  1. Computer Aided Verification

  2. Computer Aided Verification

Editors and Affiliations

  • King’s College, London, United Kingdom

    Hana Chockler

  • TU Wien, Vienna, Austria

    Georg Weissenbacher

Bibliographic Information

Publish with us