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

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

Introduction

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.



Keywords

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 https://doi.org/10.1007/978-3-319-41528-4
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-41527-7
  • Online ISBN 978-3-319-41528-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book