Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

  • Daniel Kroening
  • Corina S. Păsăreanu
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9207)

Table of contents

  1. Front Matter
    Pages I-XVIII
  2. SMT Techniques and Applications

    1. Front Matter
      Pages 1-1
    2. He Zhu, Gustavo Petri, Suresh Jagannathan
      Pages 3-19
    3. Jürgen Christ, Jochen Hoenicke
      Pages 37-52
    4. Panagiotis Manolios, Jorge Pais, Vasilis Papavasileiou
      Pages 53-69
    5. Kshitij Bansal, Andrew Reynolds, Tim King, Clark Barrett, Thomas Wies
      Pages 87-105
  3. HW Verification

    1. Front Matter
      Pages 107-107
    2. Muralidaran Vijayaraghavan, Adam Chlipala, Arvind, Nirav Dave
      Pages 109-127
    3. Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger, Rajkumar Gajavelly, Tanmay Haldankar, Dinesh Chhatani et al.
      Pages 128-143
    4. Rebekah Leslie-Hurd, Dror Caspi, Matthew Fernandez
      Pages 144-160
  4. Synthesis

    1. Front Matter
      Pages 161-161
    2. Rajeev Alur, Pavol Černý, Arjun Radhakrishna
      Pages 163-179
    3. Pavol Černý, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta et al.
      Pages 180-197
    4. Andrew Reynolds, Morgan Deters, Viktor Kuncak, Cesare Tinelli, Clark Barrett
      Pages 198-216
    5. Etienne Kneuss, Manos Koukoutos, Viktor Kuncak
      Pages 217-233
    6. Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu
      Pages 234-250
    7. Romain Brenguier, Jean-François Raskin
      Pages 251-267
  5. Termination

    1. Front Matter
      Pages 269-269

Other volumes

  1. 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
  2. Computer Aided Verification
    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

About these proceedings

Introduction

The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.

The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.

Keywords

artificial intelligence automata automata theory concurrency formal languages formal methods hardware/software verification and validation logic model checking program analysis semantics and reasoning software engineering solvers synthesis temporal logic theorem proving verification verification by model checking

Editors and affiliations

  • Daniel Kroening
    • 1
  • Corina S. Păsăreanu
    • 2
  1. 1.University of OxfordOxfordUnited Kingdom
  2. 2.Carnegie Mellon UniversityMoffett FieldUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-21668-3
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-21667-6
  • Online ISBN 978-3-319-21668-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349