Advertisement

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)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, 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
    4. Stijn de Gouw, Jurriaan Rot, Frank S. de Boer, Richard Bubel, Reiner Hähnle
      Pages 273-289
    5. Radu Grigore, Stefan Kiefer
      Pages 290-306
    6. Timon Gehr, Dimitar Dimitrov, Martin Vechev
      Pages 307-323
    7. Ankush Das, Shuvendu K. Lahiri, Akash Lal, Yi Li
      Pages 324-342
    8. Arie Gurfinkel, Temesghen Kahsai, Anvesh Komuravelli, Jorge A. Navas
      Pages 343-361
    9. Shuvendu K. Lahiri, Rohit Sinha, Chris Hawblitzel
      Pages 362-379
    10. K. Rustan M. Leino, Valentin Wüstholz
      Pages 380-397
    11. Rishabh Singh, Sumit Gulwani
      Pages 398-414
  6. Lightning Talks

    1. Front Matter
      Pages 431-431
    2. Bernd Finkbeiner, Manuel Gieseking, Ernst-Rüdiger Olderog
      Pages 433-439
    3. Shambwaditya Saha, Pranav Garg, P. Madhusudan
      Pages 440-446
    4. Roberto Sebastiani, Patrick Trentin
      Pages 447-454
    5. Burcu Kulahcioglu Ozkan, Michael Emmi, Serdar Tasiran
      Pages 455-461
    6. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukáš Holík, Ahmed Rezine, Philipp Rümmer et al.
      Pages 462-469
    7. Paolo Masci, Patrick Oladimeji, Yi Zhang, Paul Jones, Paul Curzon, Harold Thimbleby
      Pages 470-478
    8. Tomáš Babiak, František Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Křetínský, David Müller et al.
      Pages 479-486
    9. Malte Isberner, Falk Howar, Bernhard Steffen
      Pages 487-495
    10. Rupak Majumdar, Zilong Wang
      Pages 496-503
    11. Ashish Tiwari
      Pages 504-510
    12. Alex Reinking, Ruzica Piskac
      Pages 511-517
    13. M. Bozzano, A. Cimatti, A. Fernandes Pires, D. Jones, G. Kimberly, T. Petri et al.
      Pages 518-535
    14. Parasara Sridhar Duggirala, Chuchu Fan, Sayan Mitra, Mahesh Viswanathan
      Pages 536-543
    15. Jasmin Fisher, Ali Sinan Köksal, Nir Piterman, Steven Woodhouse
      Pages 544-560
    16. Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger
      Pages 561-579
  7. Interpolation, IC3/PDR, and Invariants

    1. Front Matter
      Pages 581-581
    2. A. Karbyshev, N. Bjørner, S. Itzhaky, N. Rinetzky, S. Shoham
      Pages 583-602
    3. Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Cristian Mattarei
      Pages 603-621
    4. Dirk Beyer, Matthias Dangl, Philipp Wendler
      Pages 622-640
    5. Yakir Vizel, Arie Gurfinkel, Sharad Malik
      Pages 641-657

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
  • Buy this book on publisher's site