Computer Aided Verification

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

  • Swarat Chaudhuri
  • Azadeh Farzan
Conference proceedings CAV 2016

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

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

Table of contents

  1. Front Matter
    Pages I-XVII
  2. Probabilistic Systems

    1. Front Matter
      Pages 1-1
    2. Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
      Pages 3-22
    3. Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell
      Pages 23-42
    4. Gilles Barthe, Thomas Espitau, Luis María Ferrer Fioriti, Justin Hsu
      Pages 43-61
    5. Timon Gehr, Sasa Misailovic, Martin Vechev
      Pages 62-83
    6. Van Chan Ngo, Axel Legay, Vania Joloboff
      Pages 84-91
  3. Synthesis I

    1. Front Matter
      Pages 93-93
    2. Chih-Hong Cheng, Yassine Hamza, Harald Ruess
      Pages 95-117
    3. Bernd Finkbeiner, Felix Klein
      Pages 118-135
    4. Tobias Klenze, Sam Bayless, Alan J. Hu
      Pages 136-156
    5. Roderick Bloem, Nicolas Braud-Santoni, Swen Jacobs
      Pages 157-176
  4. Constraint Solving I

    1. Front Matter
      Pages 177-177
    2. Maximiliano Cristiá, Gianfranco Rossi
      Pages 179-198
    3. Aina Niemetz, Mathias Preiner, Armin Biere
      Pages 199-217
    4. Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar
      Pages 218-240
    5. Hung-En Wang, Tzung-Lin Tsai, Chun-Han Lin, Fang Yu, Jie-Hong R. Jiang
      Pages 241-260
    6. Bishoksan Kafle, John P. Gallagher, José F. Morales
      Pages 261-268
  5. Model Checking I

    1. Front Matter
      Pages 269-269
    2. Jakub Daniel, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Sergio Mover
      Pages 271-291
    3. Fei He, Shu Mao, Bow-Yaw Wang
      Pages 310-328
    4. Karam Abd Elkader, Orna Grumberg, Corina S. Păsăreanu, Sharon Shoham
      Pages 329-351
    5. Temesghen Kahsai, Philipp Rümmer, Huascar Sanchez, Martin Schäf
      Pages 352-358
  6. Program Analysis

    1. Front Matter
      Pages 359-359
    2. K. R. M. Leino, Clément Pit-Claudel
      Pages 361-381
    3. Quang Loc Le, Jun Sun, Wei-Ngan Chin
      Pages 382-404
    4. Peter Müller, Malte Schwerhoff, Alexander J. Summers
      Pages 405-425
    5. Roman Manevich, Boris Dogadov, Noam Rinetzky
      Pages 426-446
    6. Dwight Guth, Chris Hathhorn, Manasvi Saxena, Grigore Roşu
      Pages 447-453
  7. Timed and Hybrid Systems

    1. Front Matter
      Pages 455-455
    2. Bai Xue, Zhikun She, Arvind Easwaran
      Pages 457-476
    3. Parasara Sridhar Duggirala, Mahesh Viswanathan
      Pages 477-494
    4. Pavithra Prabhakar, Miriam García Soto
      Pages 495-512
    5. Patricia Bouyer, Maximilien Colange, Nicolas Markey
      Pages 513-530
    6. Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Parasara Sridhar Duggirala
      Pages 531-538
  8. Back Matter
    Pages 539-541

Other volumes

  1. Computer Aided Verification
    28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
  2. 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

About these proceedings


The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.

The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games.


distributed systems formal methods model checking verification Web security abstract interpretation automata case study concurrency fault tolerance nonlinear systems program analysis programming language semantics safety-critical systems semantics and reasoning software engineering solvers synthesis temporal logic theorem proving

Editors and affiliations

  • Swarat Chaudhuri
    • 1
  • Azadeh Farzan
    • 2
  1. 1.Rice University HoustonUSA
  2. 2.University of Toronto TorontoCanada

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-41527-7
  • Online ISBN 978-3-319-41528-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software