Computer Aided Verification

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

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

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

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

Table of contents

  1. Front Matter
    Pages i-xix
  2. Automata and Timed Systems

    1. Front Matter
      Pages 1-1
    2. Loris D’Antoni, Tiago Ferreira, Matteo Sammartino, Alexandra Silva
      Pages 3-21 Open Access
    3. Victor Roussanaly, Ocan Sankur, Nicolas Markey
      Pages 22-40 Open Access
    4. Paul Gastin, Sayan Mukherjee, B. Srivathsan
      Pages 41-59 Open Access
    5. Suguman Bansal, Moshe Y. Vardi
      Pages 60-78 Open Access
    6. Martin Kölbl, Stefan Leue, Thomas Wies
      Pages 79-96 Open Access
    7. Julien Lange, Nobuko Yoshida
      Pages 97-117 Open Access
  3. Security and Hyperproperties

    1. Front Matter
      Pages 119-119
    2. Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup
      Pages 121-139 Open Access
    3. Saeid Tizpaz-Niari, Pavol Černý, Ashutosh Trivedi
      Pages 140-160 Open Access
    4. Ron Shemer, Arie Gurfinkel, Sharon Shoham, Yakir Vizel
      Pages 161-179 Open Access
    5. Mahmoud Elfar, Yu Wang, Miroslav Pajic
      Pages 180-199 Open Access
    6. Azadeh Farzan, Anthony Vandikas
      Pages 200-218 Open Access
    7. Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
      Pages 219-237 Open Access
  4. Synthesis

    1. Front Matter
      Pages 239-239
    2. Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
      Pages 241-258 Open Access
    3. Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta
      Pages 259-277 Open Access
    4. Samuel Drews, Aws Albarghouthi, Loris D’Antoni
      Pages 278-296 Open Access
    5. Miriam García Soto, Thomas A. Henzinger, Christian Schilling, Luka Zeleznik
      Pages 297-314 Open Access
    6. Saswat Padhi, Todd Millstein, Aditya Nori, Rahul Sharma
      Pages 315-334 Open Access
    7. Qinheping Hu, Jason Breck, John Cyphert, Loris D’Antoni, Thomas Reps
      Pages 335-352 Open Access
  5. Model Checking

    1. Front Matter
      Pages 353-353
    2. Natalia Gavrilenko, Hernán Ponce-de-León, Florian Furbach, Keijo Heljanko, Roland Meyer
      Pages 355-365 Open Access
    3. Jennifer A. Davis, Laura R. Humphrey, Derek B. Kingston
      Pages 366-375 Open Access
    4. Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta
      Pages 376-386 Open Access
    5. Stella Lau, Victor B. F. Gomes, Kayvan Memarian, Jean Pichon-Pharabod, Peter Sewell
      Pages 387-397 Open Access
  6. Cyber-Physical Systems and Machine Learning

    1. Front Matter
      Pages 399-399
    2. Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini
      Pages 401-420 Open Access
    3. Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup et al.
      Pages 421-431 Open Access
    4. Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte et al.
      Pages 432-442 Open Access
    5. Guy Katz, Derek A. Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim et al.
      Pages 443-452 Open Access
  7. Probabilistic Systems, Runtime Techniques

    1. Front Matter
      Pages 453-453
    2. Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer
      Pages 455-474 Open Access
    3. Milan Češka, Jan Křetínský
      Pages 475-496 Open Access
    4. Pranav Ashok, Jan Křetínský, Maximilian Weininger
      Pages 497-519 Open Access
    5. Masaki Waga, Étienne André, Ichiro Hasuo
      Pages 520-539 Open Access
    6. Thakur Neupane, Chris J. Myers, Curtis Madsen, Hao Zheng, Zhen Zhang
      Pages 540-549 Open Access
  8. Dynamical, Hybrid, and Reactive Systems

    1. Front Matter
      Pages 551-551
    2. Mitesh Jain, Panagiotis Manolios
      Pages 553-571 Open Access
    3. Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier, Ocan Sankur
      Pages 572-590 Open Access
    4. Eric S. Kim, Murat Arcak, Sanjit A. Seshia
      Pages 591-608 Open Access
    5. Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
      Pages 609-629 Open Access
    6. Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Bettina Könighofer, Stefan Pranger
      Pages 630-649 Open Access
    7. Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Fränzle, Bai Xue
      Pages 650-669 Open Access
  9. Back Matter
    Pages 671-673

Other volumes

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

About these proceedings


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


artificial intelligence authentication data security formal logic formal methods model checker model checking reactive system robots software engineering software evaluation specifications temporal logic timed automata 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-25539-8
  • Online ISBN 978-3-030-25540-4
  • 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