Computer Aided Verification

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

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

Table of contents

  1. Front Matter
    Pages I-XXIII
  2. Invited Paper

    1. Front Matter
      Pages 1-1
    2. Philippa Gardner, Gareth Smith, Conrad Watt, Thomas Wood
      Pages 3-10
  3. Model Checking and Refinements

    1. Front Matter
      Pages 11-11
    2. Byron Cook, Heidy Khlaaf, Nir Piterman
      Pages 13-29
    3. Bernd Finkbeiner, Markus N. Rabe, César Sánchez
      Pages 30-48
    4. Daniel Dietsch, Matthias Heizmann, Vincent Langenfeld, Andreas Podelski
      Pages 49-66
    5. Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar
      Pages 67-84
    6. Mitesh Jain, Panagiotis Manolios
      Pages 103-119
  4. Quantitative Reasoning

    1. Front Matter
      Pages 121-121
    2. Mickael Randour, Jean-François Raskin, Ocan Sankur
      Pages 123-139
    3. Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
      Pages 140-157
    4. Tomáš Brázdil, Krishnendu Chatterjee, Martin Chmelík, Andreas Fellner, Jan Křetínský
      Pages 158-177
    5. Klaus von Gleissenthall, Boris Köpf, Andrey Rybalchenko
      Pages 178-194
    6. Alessandro Abate, Luboš Brim, Milan Češka, Marta Kwiatkowska
      Pages 195-213
    7. Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes et al.
      Pages 214-231
  5. Software Analysis

    1. Front Matter
      Pages 233-233
    2. Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Julian Dolby, Xiangyu Zhang
      Pages 235-254
    3. Abdulbaki Aydin, Lucas Bang, Tevfik Bultan
      Pages 255-272

Other volumes

  1. Computer Aided Verification
    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
  2. 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-21690-4
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-21689-8
  • Online ISBN 978-3-319-21690-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349