Skip to main content

Computer Aided Verification

31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

  • Conference proceedings
  • Open Access
  • © 2019

You have full access to this open access Conference proceedings


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

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

Included in the following conference series:

Conference proceedings info: CAV 2019.

Buy print copy

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

Table of contents (30 papers)

  1. Logics, Decision Procedures, and Solvers

  2. Numerical Programs

  3. Verification

  4. Distributed Systems and Networks

Other volumes

  1. Computer Aided Verification

  2. Computer Aided Verification


About this book

The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. 

The 52 full papers presented  together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: 

Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; 

Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency. 

Editors and Affiliations

  • University of Texas, Austin, USA

    Isil Dillig

  • Amazon Web Services, New York, USA

    Serdar Tasiran

Bibliographic Information

Publish with us