Computer Aided Verification

25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

  • Natasha Sharygina
  • Helmut Veith

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

Table of contents

  1. Front Matter
  2. Invited Tutorials

    1. Laura Kovács, Andrei Voronkov
      Pages 1-35
    2. Matthias Heizmann, Jochen Hoenicke, Andreas Podelski
      Pages 36-52
    3. Hristina Palikareva, Cristian Cadar
      Pages 53-68
  3. Biology

    1. Loïc Paulevé, Geoffroy Andrieux, Heinz Koeppl
      Pages 69-84
    2. Koen Claessen, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Qinsi Wang
      Pages 85-100
    3. Johannes G. Reiter, Ivana Bozic, Krishnendu Chatterjee, Martin A. Nowak
      Pages 101-106
    4. Luboš Brim, Milan Češka, Sven Dražan, David Šafránek
      Pages 107-123
  4. Concurrency

    1. Javier Esparza, Pierre Ganty, Rupak Majumdar
      Pages 124-140
    2. Jade Alglave, Daniel Kroening, Michael Tautschnig
      Pages 141-157
    3. Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac
      Pages 158-173
    4. Cezara Drăgoi, Ashutosh Gupta, Thomas A. Henzinger
      Pages 174-190
    5. Azadeh Farzan, Zachary Kincaid
      Pages 191-196
  5. Hardware

    1. Roy Armoni, Dana Fisman, Naiyong Jin
      Pages 197-212
    2. Thomas Braibant, Adam Chlipala
      Pages 213-228
    3. Guanfeng Lv, Kaile Su, Yanyan Xu
      Pages 229-234
    4. Brad Bingham, Jesse Bingham, John Erickson, Mark Greenstreet
      Pages 235-241
  6. Hybrid Systems

    1. Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu
      Pages 242-257
    2. Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan
      Pages 258-263
    3. Alexandre Donzé, Thomas Ferrère, Oded Maler
      Pages 264-279

About these proceedings


This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time.


LTL synthesis algorithms automata model checking verification tools

Editors and affiliations

  • Natasha Sharygina
    • 1
  • Helmut Veith
    • 2
  1. 1.University of LuganoLuganoSwitzerland
  2. 2.University of TechnologyViennaAustria

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-39798-1
  • Online ISBN 978-3-642-39799-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site