Computer Aided Verification

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

  • Isil Dillig
  • Serdar Tasiran
Open Access
Conference proceedings
CAV 2019

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11562)

Table of contents

  1. Front Matter
    Pages i-xx
  2. Logics, Decision Procedures, and Solvers

    1. Front Matter
      Pages 1-1
    2. Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier
      Pages 3-22 Open Access
    3. Andrew Reynolds, Andres Nötzli, Clark Barrett, Cesare Tinelli
      Pages 23-42 Open Access
    4. Radu Iosif, Xiao Xu
      Pages 43-63 Open Access
    5. Martin Jonáš, Jan Strejček
      Pages 64-73 Open Access
    6. Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark Barrett, Cesare Tinelli
      Pages 74-83 Open Access
  3. Numerical Programs

    1. Front Matter
      Pages 95-95
    2. Jake Silverman, Zachary Kincaid
      Pages 97-115 Open Access
    3. Martin Brain, Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark Barrett, Cesare Tinelli
      Pages 116-136 Open Access
    4. Sicun Gao, James Kapinski, Jyotirmoy Deshmukh, Nima Roohi, Armando Solar-Lezama, Nikos Arechiga et al.
      Pages 137-154 Open Access
    5. Heiko Becker, Eva Darulova, Magnus O. Myreen, Zachary Tatlock
      Pages 155-173 Open Access
    6. Eva Darulova, Anastasia Volkova
      Pages 174-183 Open Access
  4. Verification

    1. Front Matter
      Pages 185-185
    2. Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li et al.
      Pages 187-207 Open Access
    3. Gidon Ernst, Toby Murray
      Pages 208-230 Open Access
    4. John Backes, Sam Bayless, Byron Cook, Catherine Dodge, Andrew Gacek, Alan J. Hu et al.
      Pages 231-241 Open Access
  5. Distributed Systems and Networks

    1. Front Matter
      Pages 243-243
    2. Idan Berkovits, Marijana Lazić, Giuliano Losa, Oded Padon, Sharon Shoham
      Pages 245-266 Open Access
    3. Rachid Zennou, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi
      Pages 267-285 Open Access
    4. Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
      Pages 286-304 Open Access
    5. Nick Giannarakis, Ryan Beckett, Ratul Mahajan, David Walker
      Pages 305-323 Open Access
    6. Ranadeep Biswas, Michael Emmi, Constantin Enea
      Pages 324-343 Open Access
    7. Andrei Damian, Cezara Drăgoi, Alexandru Militaru, Josef Widder
      Pages 344-363 Open Access
  6. Verification and Invariants

    1. Front Matter
      Pages 365-365
    2. Hari Govind Vediramana Krishnan, Yakir Vizel, Vijay Ganesh, Arie Gurfinkel
      Pages 367-385 Open Access
    3. Peizun Liu, Thomas Wahl, Akash Lal
      Pages 386-404 Open Access
    4. Yotam M. Y. Feldman, James R. Wilcox, Sharon Shoham, Mooly Sagiv
      Pages 405-425 Open Access
    5. Florian Frohn, Jürgen Giesl
      Pages 426-444 Open Access
    6. Juneyoung Lee, Chung-Kil Hur, Nuno P. Lopes
      Pages 445-455 Open Access
  7. Concurrency

    1. Front Matter
      Pages 457-457
    2. Kartik Nagar, Suresh Jagannathan
      Pages 459-477 Open Access
    3. Stephen F. Siegel
      Pages 478-495 Open Access
    4. Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao
      Pages 496-514 Open Access
    5. Yongwang Zhao, David Sanán
      Pages 515-533 Open Access
    6. Michael Emmi, Constantin Enea
      Pages 534-546 Open Access
  8. Back Matter
    Pages 547-549

Other volumes

  1. 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
  2. Computer Aided Verification
    31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

About these proceedings


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. 


distributed computer systems distributed systems formal logic formal methods model checking programming languages satisfiability semantics software engineering software evaluation testing and runtime verification verification

Editors and affiliations

  • Isil Dillig
    • 1
  • Serdar Tasiran
    • 2
  1. 1.University of TexasAustinUSA
  2. 2.Amazon Web ServicesNew YorkUSA

Bibliographic information

  • DOI
  • Copyright Information The Editor(s) (if applicable) and The Author(s) 2019
  • License CC BY
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-030-25542-8
  • Online ISBN 978-3-030-25543-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment